Tile Transition Systems as Structured Coalgebras (1999)

Cached

Download Links

by Andrea Corradini , Reiko Heckel , Ugo Montanari
Venue:FUNDAMENTALS OF COMPUTATION THEORY, VOLUME 1684 OF LNCS
Citations:4 - 2 self

Documents Related by Co-Citation

116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
11 Structured transition systems as lax coalgebras – A Corradini, M Große-Rhode, R Heckel - 1998
39 A Theory of Bisimulation for the pi-calculus – Davide Sangiorgi - 1993
32 On Bisimulations for the Asynchronous π-calculus – Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi - 1996
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
20 Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus – Roberto Bruni, Ugo Montanari - 1999
8 The tile model – Fabio Gadduci, Ugo Montanari - 1999
13 Bisimulation by unification – Paolo Baldan, Andrea Bracciali, Roberto Bruni - 2002
61 Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting – Hartmut Ehrig, Barbara König - 2004
10 From SOS Specifications to Structured Coalgebras: How to Make a Bisimulation a Congruence – A Corradini, R Heckel, U Montanari - 1999
32 DYNAMIC CONGRUENCE vs. PROGRESSING BISIMULATION for CCS – Ugo Montanari, Vladimiro Sassone - 1992
6 Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1995
2 Tile formats for located and mobile systems. Information and Computation – G Ferrari, U Montanari - 2000
13 Zero-Safe Nets: The Individual Token Approach – Roberto Bruni, Ugo Montanari - 1998
5 Term Graph Syntax for Multi-Algebras – A. Corradini, F. Gadducci, W. Kahl - 2000
17 Zero-Safe Nets, or Transition Synchronization Made Simple – Roberto Bruni, Ugo Montanari - 1997
36 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999