|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
65
|
On Asynchronous Communication Semantics
– Kohei Honda, Mario Tokoro
- 1992
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
|
Process Logic and Duality -- Part I: Sequential Processes
– Kohei Honda
|
|
341
|
An Object Calculus for Asynchronous Communication
– Kohei Honda, Mario Tokoro
- 1991
|
|
34
|
Action Structures
– Robin Milner
- 1992
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
28
|
Beyond Digital Naturalism
– Walter Fontana, Günter Wagner, Leo W. Buss
- 1994
|
|
1
|
Processes and Games
– Kohei Honda
- 2003
|
|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
83
|
The reflexive CHAM and the join-calculus
– Cedric Fournet , Georges Gonthier
|
|
39
|
Pure bigraphs: structure and dynamics
– Robin Milner
- 2005
|
|
|
Reduction Theories for Concurrent Calculi
– Nobuko Yoshida, Kohei Honda
|
|
1
|
A Study of Objects
– Paul Hankin
- 1999
|
|
7
|
Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d)
– Benjamin C. Pierce
- 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
|
|
11
|
A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization
– Anna Ingólfsdóttir
- 1995
|
