Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves (2009)

by Filippo Bonchi, Ugo Montanari
Citations:1 - 0 self

Active Bibliography

1 Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves – Ugo Montanari - 2009
Saturated LTSs for Adhesive Rewriting Systems – Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari - 2010
14 Reactive Systems, Barbed Semantics, and the Mobile Ambients – Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2 Coalgebraic Symbolic Semantics – Ugo Montanari
1 A coalgebraic theory of reactive systems – Ugo Montanari, Ugo Montanari
1 A coalgebraic theory of reactive systems – Filippo Bonchi, Ugo Montanari - 1999
Towards a General Theory of Barbs, Contexts and Labels ⋆ – Fabio Gadducci, Giacoma Valentina Monreale
Open Multiparty Interaction ⋆ – Chiara Bodei, Linda Brodo, Roberto Bruni
Synthesising CCS bisimulation using . . . – Filippo Bonchi, Fabio Gadducci , Barbara König - 2009
7 Labeled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) – Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale - 2008
Efficient Bisimilarities from Second-order Reaction Semantics for π-calculus – Pietro Di Gianantonio , Svetlana Jaksić , Marina Lenisa - 2010
2 Making the unobservable, unobservable – Julian Rathke, Paweł Sobocinski - 2008
4 Deriving Labels and Bisimilarity for Concurrent Constraint Programming – Andrés Aristizábal, Catuscia Palamidessi, Luis Pino, Frank Valencia - 2010
14 Deriving structural labelled transitions for mobile ambients – Julian Rathke - 2008
9 Abstract Semantics by Observable Contexts – Filippo Bonchi - 2008
(HiDeA4SOC)”). – Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto Preface, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto Ice, Catuscia Palamidessi
1 A Framework for Specifying and Verifying the Behaviour of Open Systems – Andrea Bracciali, Antonio Brogi, Franco Turini - 2004
4 Symbolic equivalences for open systems – Paolo Baldan, Andrea Bracciali, Roberto Bruni - 2005
2 A Semantic Framework for Open Processes – P. Baldan, A. Bracciali, R. Bruni