|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
13
|
Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)
– Davide Sangiorgi
- 1999
|
|
94
|
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract)
– Joachim Parrow, Björn Victor
- 1998
|
|
6
|
From π-calculus to Higher-Order π-calculus -- and back
– Davide Sangiorgi
|
|
8
|
An investigation into Functions as Processes
– Davide Sangiorgi
- 1993
|
|
73
|
π-Calculus, Internal Mobility, and Agent-Passing Calculi
– Davide Sangiorgi
- 1995
|
|
28
|
A Calculus of Secure Mobile Computations
– Jan Vitek, Giuseppe Castagna
- 1998
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
9
|
Constraints as Processes
– Björn Victor, Joachim Parrow
- 1996
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
|
Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract)
– Richard Banach, Franck van Breugel
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
1
|
Toward a Bisimulation Theory for Linear Higher-Order π-Calculus
– Xian Xu
- 2007
|
|
|
An Analysis of pi-calculus Bisimulations
– Roberto M. Amadio, Otmane Ait-mohamed
- 1995
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
70
|
The Update Calculus
– Joachim Parrow, Björn Victor
- 1997
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
7
|
On Equators in Asynchronous Name-passing Calculi without Matching (Extended Abstract)
– Massimo Merro
- 1999
|
