SCOPUS 정보 검색 플랫폼

Volumn 35, Issue 1, 2001, Pages 1-29

Integrating observational and computational features in the specification of state-based, dynamical systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LANGUAGES; STATE SPACE METHODS; THEOREM PROVING;

COALGEBRA; DYNAMICAL SYSTEMS;

COMPUTATIONAL METHODS;

EID: 17844369711 PISSN: 09883754 EISSN: 28047346 Source Type: Journal
DOI: 10.1051/ita:2001107 Document Type: Article

Times cited : (2)

References (18)

1
- 0003606509
- CUP, Cambridge
- (1994) Handbook of Categorial Algebra , vol.2
- Borceux, F.¹

2
- 18944365428
- A coequational approach to specifying behaviours
- edited by B. Jacobs and J. Rutten, Coalgebraic Methods in Computer Science. Elsevier Science
- (1999) Electron. Notes Theor. Comput. Sci. , vol.19 , pp. 173-194
- Cîrstea, C.¹

3
- 18944376182
- An algebra-coalgebra framework for system specification
- edited by H. Reichel, Coalgebraic Methods in Computer Science. Elsevier Science
- (2000) Electron. Notes Theor. Comput. Sci. , vol.33 , pp. 81-112
- Cîrstea, C.¹

5
- 0001604019
- A completeness result for equational deduction in coalgebraic specification
- edited by F. Parisi-Presicce, Recent Trends in Algebraic Development Techniques. Springer
- (1998) Lecture Notes in Comput. Sci. , vol.1376 , pp. 190-205
- Corradini, A.¹

6
- 18944385550
- From SOS specifications to structured coalgebras: How to make bisimulation a congruence
- edited by B. Jacobs and J. Rutten, Coalgebraic Methods in Computer Science. Elsevier Science
- (1999) Electron. Notes Theor. Comput. Sci. , vol.19 , pp. 149-172
- Corradini, A.¹ Heckel, R.² Montanari, U.³

7
- 0003735136
- Behavioural coherence in object-oriented algebraic specification
- Japan Advanced Institute for Science and Technology
- (1998) Technical Report IS-RR-98-0017F
- Diaconescu, R.¹

8
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) J. ACM , vol.39 , pp. 95-146
- Goguen, J.¹ Burstall, R.²

9
- 0002583222
- A hidden agenda
- (2000) Theoret. Comput. Sci. , vol.245 , pp. 55-101
- Goguen, J.¹ Malcolm, G.²

11
- 18944392154
- (Ω, Ξ)-Logic: On the algebraic extension of coalgebraic specifications
- edited by B. Jacobs, L. Moss, H. Reichel and J. Rutten, Coalgebraic Methods in Computer Science. Elsevier Science
- (1999) Electron. Notes Theor. Comput. Sci. , vol.19 , pp. 195-211
- Hennicker, R.¹ Kurz, A.²

12
- 0002715717
- Objects and classes, coalgebraically
- edited by B. Freitag, C.B. Jones, C. Lengauer and H.-J. Schek; Kluwer Academic Publishers
- (1996) Object Orientation with Parallelism and Persistence , pp. 83-103
- Jacobs, B.¹

13
- 84947930619
- Invariants, bisimulations and the correctness of coalgebraic refinements
- edited by M. Johnson, Algebraic Methodology and Software Technology. Springer
- (1997) Lecture Notes in Comput. Sci. , vol.1349 , pp. 276-291
- Jacobs, B.¹

14
- 0002544014
- Swinging types = functions + relations + transition systems
- (2000) Theoret. Comput. Sci. , vol.243 , pp. 93-165
- Padawitz, P.¹

15
- 84976111956
- An approach to object semantics based on terminal coalgebras
- (1995) Math. Structures Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

16
- 84867810012
- Hidden congruent deduction
- edited by R. Caferra and G. Salzer, Automated Deduction in Classical and Non-Classical Logics. Springer
- (2000) Lecture Notes in Comput. Sci. , vol.1761 , pp. 251-266
- Roşu, G.¹ Goguen, J.²

17
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.¹

18
- 0030684322
- Towards a mathematical operational semantics
- Proc. LICS (1997) , pp. 280-291
- Turi, D.¹ Plotkin, G.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.