|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
2
|
Symmetric electoral systems for ambient calculi
– Iain Phillips, Maria Grazia Vigliotti
|
|
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
|
|
3
|
Mobile processes: A commented bibliography
– Silvano Dal Zilio
- 2000
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
1
|
Separation Results Via Leader Election Problems. FMCO 2005
– Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
- 2005
|
|
83
|
The reflexive CHAM and the join-calculus
– Cedric Fournet , Georges Gonthier
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
47
|
The Join Calculus: A Language for Distributed Mobile Programming
– Cedric Fournet, Georges Gonthier
- 2000
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
18
|
Bisimulation Proof Methods for Mobile Ambients
– Massimo Merro, Francesco Zappa Nardelli
- 2003
|
|
68
|
Secure Implementation of Channel Abstractions
– Martin Abadi, Cédric Fournet, Georges Gonthier
- 2000
|
|
6
|
From π-calculus to Higher-Order π-calculus -- and back
– Davide Sangiorgi
|
|
27
|
The Two-Phase Commitment Protocol in an Extended π-Calculus
– Martin Berger, Kohei Honda
- 2000
|
|
|
DOI: 10.1007/978-3-540-68679-8_29 On the asynchronous nature of the asynchronous π-calculus ⋆
– Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia, Inria Saclay, École Polytechnique
- 2010
|
|
26
|
Sequentiality and the π-Calculus
– Martin Berger, Kohei Honda, Nobuko Yoshida
- 2001
|
|
80
|
On Asynchrony in Name-Passing Calculi
– Massimo Merro, Davide Sangiorgi
- 1998
|
