|
60
|
The Tile Model
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
32
|
Process and Term Tile Logic
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1998
|
|
70
|
Compositionality through an operational semantics of contexts
– K G Larsen, L Xinxin
- 1991
|
|
439
|
Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1
– J Meseguer
- 1992
|
|
32
|
A 2-Categorical Presentation of Term Graph Rewriting
– A. Corradini, F. Gadducci
- 1997
|
|
169
|
Bisimulation Can’t Be Traced
– B Bloom, S Istrael, A Meyer
- 1995
|
|
183
|
Structured operational semantics and bisimulation as a congruence
– J F Groote, F W Vaandrager
- 1992
|
|
152
|
Functorial Semantics of Algebraic Theories
– F W Lawvere
- 1963
|
|
15
|
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems
– Ugo Montanari, Francesca Rossi
- 1999
|
|
35
|
Tile Logic for Synchronized Rewriting of Concurrent Systems
– Roberto Bruni, Prof Ugo Montanari
- 1999
|
|
24
|
On The Algebraic Approach To Concurrent Term Rewriting
– Fabio Gadducci
- 1996
|
|
158
|
nets are monoids
– J Meseguer, Petri U Montanari
- 1990
|
|
14
|
Tiles for Concurrent and Located Calculi
– G L Ferrari, U Montanari
- 1997
|
|
32
|
An algebraic semantics for structured transition systems and its application to logic programs, Theoret
– A Corradini, U Montanari
- 1992
|
|
127
|
Membership Algebra as a Logical Framework for Equational Specification
– José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer
- 1998
|
|
78
|
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
– José Meseguer
- 1996
|
|
38
|
Axiomatizing the algebra of net computations and processes
– P Degano, J Meseguer, U Montanari
- 1996
|
|
18
|
An Axiomatization of the Algebra of Petri Net Concatenable Processes
– Vladimiro Sassone
- 1996
|
