Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

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

Documents Related by Co-Citation

37 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
34 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
13 Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 2002
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
14 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
16 Internal Strategies in a Rewriting Implementation of Tile Systems – R. Bruni, J. Meseguer, U. Montanari - 1998
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
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
6 Implementing Tile Systems: Some Examples From Process Calculi – R. Bruni, J. Meseguer - 1998
1289 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
34 An algebraic semantics for structured transition systems and its application to logic programs – A Corradini, U Montanari - 1992