|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
158
|
nets are monoids
– J Meseguer, Petri U Montanari
- 1990
|
|
426
|
The Chemical Abstract Machine
– Gérard Berry, Gérard Boudol
- 1998
|
|
65
|
From Rewrite Rules to Bisimulation Congruences
– Peter Sewell
- 1998
|
|
54
|
R.: Bigraphs and transitions
– O Jensen, Milner
- 2003
|
|
55
|
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
– Hartmut Ehrig, Barbara König
- 2004
|
|
31
|
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
32
|
A 2-Categorical Presentation of Term Graph Rewriting
– A. Corradini, F. Gadducci
- 1997
|
|
39
|
Bicategories of Processes
– P. Katis, N. Sabadini, R. F. C. Walters
- 1997
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
125
|
Introduction to bicategories
– J Benabou
- 1967
|
|
26
|
Deriving Bisimulation Congruences using 2-categories
– Vladimiro Sassone, Pawel Sobocinski, Pawe̷l Soboci Ński
- 2003
|
|
14
|
Normal Forms for Partitions and Relations
– Roberto Bruni, Fabio Gadducci, Ugo Montanari
- 1999
|
|
59
|
Cartesian bicategories
– A Carboni, R F C Walters
- 1987
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
118
|
Review of the elements of 2-categories
– G Kelly, R Street
- 1974
|
|
57
|
Bigraphical reactive systems
– R Milner
- 2001
|
