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

Active Bibliography

14 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
11 Enriched Categories as Models of Computation – Fabio Gadducci, Ugo Montanari - 1996
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
4 Rewriting on Cyclic Structures – Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci - 1998
13 Executable Tile Specifications for Process Calculi РRoberto Bruni, Jos̩ Meseguer, Ugo Montanari - 1999
4 Tile Transition Systems as Structured Coalgebras – Andrea Corradini, Reiko Heckel, Ugo Montanari - 1999
15 Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory – Gheorghe Stefanescu
Delayed Choice for Process Algebra With Abstraction – Pedro D'Argenio, Sjouke Mauw, S. Mauw - 1995
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
34 Operational congruences for reactive systems – James Judi Leifer - 2001
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002