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

Active Bibliography

Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
1 PSPACE bounds for rank 1 modal logics – Lutz Schr Öder, Dirk Pattinson - 2006
26 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
11 A bisimulation-based semantic theory of safe ambients – Massimo Merro, Matthew Hennessy - 2006
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
16 Modular algorithms for heterogeneous modal logics – Lutz Schröder, Dirk Pattinson - 2007
14 Deriving structural labelled transitions for mobile ambients – Julian Rathke - 2008
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
7 A Calculus of Bounded Capacities – F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone - 2003
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
21 Bisimulation Proof Methods for Mobile Ambients – Massimo Merro, Francesco Zappa Nardelli - 2003
13 On Reduction Semantics for the Push and Pull Ambient Calculus – Iain Phillips, Maria Grazia Vigliotti - 2002
3 Stochastic Ambient Calculus – Maria G. Vigliotti, Peter G. Harrison - 2006
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
8 The least fibred lifting and the expressivity of coalgebraic modal logic – Bartek Klin - 2005
COALA: Coalgebraic Logics and Applications – Dirk Pattinson - 2008
4 ON MINIMAL COALGEBRAS – H. Peter Gumm