A coalgebraic approach to the semantics of the ambient calculus (2005)

by Daniel Hausmann , Till Mossakowski , Lutz Schröder
Venue:ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
Citations:4 - 2 self

Documents Related by Co-Citation

33 Coalgebras and Modal Logic – Martin Rößiger - 2000
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
22 A coalgebraic perspective on monotone modal logic – H Hansen, C Kupke - 2004
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
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
50 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
14 Reactive Systems, Barbed Semantics, and the Mobile Ambients – Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
1 Logics Admitting Final Semantics – Alexander Kurz - 2002
12 Type class polymorphism in an institutional framework – Lutz Schröder, Till Mossakowski, Christoph Lüth - 2005
13 Ultrafilter extensions for coalgebras – C. Kupke, A. Kurz, D. Pattinson - 2005
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder