SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 119-138

Specifying coalgebras with modal logic

(1) Kurz, Alexander a

a CWI (Netherlands)

Author keywords

Coalgebras; Modal logic; Object oriented programming; Specification; Verification

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; MODAL ANALYSIS; OBJECT ORIENTED PROGRAMMING;

COALGEBRAS; MODAL LOGICS;

BOOLEAN ALGEBRA;

EID: 0034917918 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00125-0 Document Type: Article

Times cited : (60)

References (24)

1
- 85011977207
- An event-based structural operational semantics of multi-threaded Java
- J.A. Foss (Ed.), Formal Syntax and Semantics of Java, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1523 , pp. 157-200
- Cenciarelli, P.¹ Knapp, A.² Reus, B.³ Wirsing, M.⁴

2
- 0002112909
- TROLL - An object oriented formal method for distributed information system design: Syntax and pragmatics (TROLL Version 3.0)
- Technische Universität Braunschweig
- (1997) Technical Report Informatik Berichte 97-03
- Denker, G.¹ Hartel, P.²

3
- 0141882318
- A linear temporal logic approach to objects with transactions
- M. Johnson (Ed.), Lecture Notes in Computer Science, Springer, Berlin
- (1997) Algebraic Methodology and Software Technology (AMAST'97) , vol.1349 , pp. 170-184
- Denker, G.¹ Ramos, J.² Caleiro, C.³ Sernadas, A.⁴

4
- 0002211360
- Logics for specifying concurrent information systems
- J. Chomicki, G. Saake (Eds.), Kluwer, Dordrecht
- (1998) Logics for Databases and Information Systems , pp. 167-198
- Ehrich, H.-D.¹ Caleiro, C.² Sernadas, A.³ Denker, G.⁴

5
- 0003198753
- Logics of time and computation
- Center for the Study of Language and Information, Stanford University
- (1992) CSLI Lecture Notes, vol. 7, 2nd ed. , vol.7
- Goldblatt, R.¹

6
- 0004491485
- A framework for infinitary modal logic
- Center for the Study of Language and Information, Stanford University, Chapter 9
- (1993) Mathematics of Modality
- Goldblatt, R.¹

7
- 0004488860
- Saturation and the Hennessy-Milner property
- A. Ponse et al. (Eds.), CSLI Lecture Notes, Center for the Study of Language and Information, Stanford University
- (1995) Modal Logic and Process Algebra , vol.53
- Goldblatt, R.¹

8
- 19044376272
- Covarieties and complete covarieties
- B. Jacobs, L. Moss, H. Reichel, J. Rutten (Eds.), Electronic Notes in Theoretical Computer Science
- (1998) Coalgebraic Methods in Computer Science (CMCS'98) , vol.11
- Gumm, H.P.¹ Schröder, T.²

9
- 0003681699
- Reihe DISDBIS, infix-Verlag, Sankt Augustin
- (1997) Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme
- Hartel, P.¹

10
- 84947742394
- Reasoning about classes in object-oriented languages: Logical models and tools
- Ch. Hankin (Ed.), European Symp. on Programming, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1381 , pp. 105-121
- Hensel, U.¹ Huisman, M.² Jacobs, B.³ Tews, H.⁴

11
- 21844510154
- Defining equations in terminal coalgebras
- E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification (COMPASS/ADT 1995), Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.906 , pp. 307-318
- Hensel, U.¹ Reichel, H.²

12
- 9444292950
- Hennessy-Milner classes and process algebra
- A. Ponse, M. de Rijke, Y. Venema, (Eds.), Modal Logic and Process Algebra, Center for the Study of Language and Information, Stanford University
- (1995) CSLI Lecture Notes , vol.53
- Hollenberg, M.¹

13
- 84957806476
- Mongruences and cofree coalgebras
- V.S. Alagar, M. Nivat (Eds.), Springer, Berlin
- (1995) Algebraic Methods and Software Technology (AMAST'95), Lecture Notes in Computer Science , vol.936 , pp. 245-260
- Jacobs, B.¹

14
- 0002715717
- Objects and classes, co-algebraically
- B. Freitag, C.B. Jones, C. Lengauer, H.-J. Schek (Eds.), Kluwer Acad. Publ., Dordrecht
- (1996) Object-Orientation with Parallelism and Persistence , pp. 83-103
- Jacobs, B.¹

15
- 19044375003
- Coalgebraic reasoning about classes in object-oriented languages
- B. Jacobs, L. Moss, H. Reichel, J. Rutten (Eds.), Coalgebraic Methods in Computer Science (CMCS'98)
- (1998) Electronic Notes in Theoretical Computer Science , pp. 235-246
- Jacobs, B.¹

16
- 4243697677
- Newsletter 3 of the Dutch Association for Theoretical Computer Science (NVTI)
- (1999) Coalgebras in specification and verification for object-oriented languages , pp. 15-27
- Jacobs, B.¹

17
- 0348137518
- Reasoning about Java classes (preliminary report)
- ACM Press, New York
- (1998) Object-Oriented Programming Systems, Languages and Applications , pp. 329-340
- Jacobs, B.¹ Van den Berg, J.² Huisman, M.³ Van Berkum, M.⁴ Hensel, U.⁵ Tews, H.⁶

18
- 0043210204
- A co-variety-theorem for modal logic
- Uppsala, Center for the Study of Language and Information, Stanford University
- (1998) Proc. Advances in Modal Logic 2
- Kurz, A.¹

19
- 0033095780
- Coalgebraic logic
- (1999) Ann. Pure Appl. Logic , vol.96 , pp. 277-317
- Moss, L.¹

20
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Struct. Comput. Sci. , vol.5 , Issue.2 , pp. 129-152
- Reichel, H.¹

21
- 0004517067
- From modal logic to terminal coalgebras, this volume
- Rößiger, M.¹

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

23
- 0001191914
- A model existence theorem in infinitary propositional modal logic
- (1994) J. Philos. Logic , vol.23 , pp. 337-367
- Segerberg, K.¹

24
- 77949534601
- Combining object-oriented and logic paradigms: A modal logic programming approach
- O. Lehrmann Madsen (Ed.), Proc. 6th European Conf. on Object-Oriented Programming, ECOOP'92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.615 , pp. 98-113
- Uustalu, T.¹

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