Coalgebraic Specifications and Models of deterministic Hybrid Systems (1996)

Cached

Download Links

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 1101 in Lect
Citations:9 - 7 self

Documents Related by Co-Citation

30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
27 Proof of Correctness of Object Representations – Grant Malcolm, Joseph A. Goguen
32 Realization is universal – JoA Goguen - 1973
124 Fundamentals of Algebraic Specification I – H Ehrig, B Mahr - 1985
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
10 An extended abstract of a hidden agenda – J A Goguen, G Malcolm - 1996
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
202 Non–Well–Founded Sets – P Aczel - 1988
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
18 Hiding and Behaviour: an Institutional Approach – Rod Burstall, Razvan Diaconescu - 1994
3219 Communication and Concurrency – R Milner - 1990
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
13 An Algebraic Approach to Refinement – J Goguen - 1990
418 Proof of correctness of data representations – C A R Hoare - 1972
99 A Categorical Manifesto – Joseph A. Goguen - 1991