Algebraic-coalgebraic specification in CoCasl (2006)

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

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
13 Ultrafilter extensions for coalgebras – C. Kupke, A. Kurz, D. Pattinson - 2005
22 A coalgebraic perspective on monotone modal logic – H Hansen, C Kupke - 2004
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
28 Probability Logic for Type Spaces – A Heifetz, P Mongin
148 Modal Logic – B Chellas - 1980
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
19 An abstract coalgebraic approach to process equivalence for well-behaved operational semantics – Bartosz Klin - 2004