|
18
|
A theory of bisimulation for a fragment of concurrent ML with local names
– Alan Jeffrey, Julian Rathke
- 2003
|
|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
6
|
Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1
– James J. Leifer
- 2002
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
5
|
Applied π - A Brief Tutorial
– Peter Sewell
- 2000
|
|
80
|
On Asynchrony in Name-Passing Calculi
– Massimo Merro, Davide Sangiorgi
- 1998
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
64
|
Location-Independent Communication for Mobile Agents: a Two-Level Architecture
– Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce
- 1998
|
|
1
|
Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation
– Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
|
|
3
|
Mobile processes: A commented bibliography
– Silvano Dal Zilio
- 2000
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
94
|
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract)
– Joachim Parrow, Björn Victor
- 1998
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
17
|
Towards Abstractions for Distributed Systems
– Martin Berger
- 2004
|
|
9
|
Constraints as Processes
– Björn Victor, Joachim Parrow
- 1996
|
|
9
|
Concurrent Constraints in the Fusion Calculus (Extended Abstract)
– Björn Victor, Joachim Parrow
- 1998
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
