Algebraic-coalgebraic specification in CoCasl (2006)

by Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder
Venue:J. LOGIC ALGEBRAIC PROGRAMMING
Citations:26 - 9 self

Documents Related by Co-Citation

325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
62 Specifying coalgebras with modal logic – A Kurz
39 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
244 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
1546 Theory of Linear and Integer Programming – A Schrijver - 1986
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
604 Communicating and Mobile Systems: the π-calculus – R Milner - 1999
429 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989