The Tile Model (1996)

Cached

Download Links

by Fabio Gadducci , Ugo Montanari
Venue:PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER
Citations:65 - 24 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
3219 Communication and Concurrency – R Milner - 1990
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
36 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
14 Tiles for Concurrent and Located Calculi – G L Ferrari, U Montanari - 1997
74 The semantics of programming languages: an elementary introduction using structural operational semantics – Matthew Hennessy - 1990
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
150 Elements of Interaction – Robin Milner - 1993
20 Equational Reasoning With 2-Dimensional Diagrams (preliminary Version) – Yves Lafont - 1992
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995