Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

by Roberto Bruni , José Meseguer , Ugo Montanari
Citations:13 - 10 self

Documents Related by Co-Citation

36 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
13 Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 2002
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
20 Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus – Roberto Bruni, Ugo Montanari - 1999
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
13 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
12 Tile Bisimilarity Congruences for Open Terms and Term Graphs – R. Bruni, D. de Frutos-Escrig, N. Martí-Oliet, U. Montanari - 2000
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
15 Internal Strategies in a Rewriting Implementation of Tile Systems – R. Bruni, J. Meseguer, U. Montanari - 1998
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
6 Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1995
150 Elements of Interaction – Robin Milner - 1993
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
5 Implementing Tile Systems: Some Examples From Process Calculi – R. Bruni, J. Meseguer - 1998
34 An algebraic semantics for structured transition systems and its application to logic programs – A Corradini, U Montanari - 1992