The Tile Model (1996)

View PDF

Download Links

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

Active Bibliography

14 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
11 Enriched Categories as Models of Computation – Fabio Gadducci, Ugo Montanari - 1996
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
273 Relations in Concurrency – Glynn Winskel
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
859 The Temporal Logic of Actions – Leslie Lamport - 1993