The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics (2002)

by Hendrik Tews
Citations:36 - 6 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
10 From Algebras and Coalgebras to Dialgebras – Erik Poll, Jan Zwanenburg - 2001
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
206 PVS: Combining Specification, Proof Checking, and Model Checking – S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas - 1996
9 Coalgebras For Binary Methods: Properties Of Bisimulations And Invariants – Hendrik Tews - 2001
8 The coalgebraic class speci language CCSL – J Rothe, H Tews, B Jacobs - 2001
3219 Communication and Concurrency – R Milner - 1990
6 Logic: On the algebraic extension of coalgebraic speci – R Hennicker, A Kurz - 1999
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
89 Coalgebraic Logic – Lawrence S. Moss - 1999