|
6
|
Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1
– James J. Leifer
- 2002
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
1
|
A Study of Objects
– Paul Hankin
- 1999
|
|
3
|
Mobile processes: A commented bibliography
– Silvano Dal Zilio
- 2000
|
|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
|
A Calculus for Cryptographic Protocols -- Lecture Notes
– Andrew D. Gordon
- 2001
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
108
|
Abstractions for mobile computation
– Luca Cardelli
- 1999
|
|
65
|
On Asynchronous Communication Semantics
– Kohei Honda, Mario Tokoro
- 1992
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
56
|
Bigraphs and Mobile Processes (revised)
– Ole Høgh Jensen, Robin Milner
- 2004
|
|
24
|
Transition systems, link graphs and Petri nets
– James J. Leifer, Robin Milner
- 2004
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
|
Adding Enrichments to Refined Interleavings: A New Model for the π-Calculus
– Michael Baldamus
- 1999
|
