|
9
|
Constraints as Processes
– Björn Victor, Joachim Parrow
- 1996
|
|
70
|
The Update Calculus
– Joachim Parrow, Björn Victor
- 1997
|
|
13
|
Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)
– Davide Sangiorgi
- 1999
|
|
80
|
On Asynchrony in Name-Passing Calculi
– Massimo Merro, Davide Sangiorgi
- 1998
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
48
|
Bisimulation for higher-order process calculi
– Davide Sangiorgi, Inria Sophia Antipolis
- 1996
|
|
9
|
Concurrent Constraints in the Fusion Calculus (Extended Abstract)
– Björn Victor, Joachim Parrow
- 1998
|
|
87
|
Decoding Choice Encodings
– Uwe Nestmann, Benjamin C. Pierce
- 1999
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
9
|
Tau laws for pi calculus
– Yuxi Fu, Zhenrong Yang
|
|
13
|
Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract)
– Nobuko Yoshida
- 1998
|
|
4
|
Locality and Polyadicity in Asynchronous Name-Passing Calculi
– Massimo Merro
- 2000
|
|
34
|
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages
– Karen L. Bernstein
- 1997
|
|
|
Non-deterministic Lazy it λ-calculus VS it π-calculus
– Carolina Lavatelli
- 1993
|
|
8
|
An investigation into Functions as Processes
– Davide Sangiorgi
- 1993
|
|
62
|
The π-Calculus in Direct Style
– Gerard Boudol
- 1997
|
|
6
|
From π-calculus to Higher-Order π-calculus -- and back
– Davide Sangiorgi
|
|
1
|
lambda-Calculus, Multiplicities and the pi-Calculus
– Gérard Boudol, Cosimo Laneve, Cosimo Laneve
- 1995
|
