29

Beyond Digital Naturalism
–
 1994

1

Interpreting functions as πcalculus processes: a tutorial
–
 1999

6

Categorical Models for Concurrency: Independence, Fairness and Dataflow
–
 2000

47

Towards an Object Calculus
–
 1991

150

Elements of Interaction
–
 1993

18

Combinatory Representation of Mobile Processes
–
 1994

139

On reductionbased process semantics
–
 1995

2

On the observational theory of the CPScalculus ∗
–

4

Stream Based Specification of Mobile Systems
–
 1999

8

A Simple Generalization of Kahn's Principle to Indeterminate Dataflow Networks
–
 1990

12

Relational Semantics of NonDeterministic Dataflow
–
 1997


Using process algebras for the semantic analysis of data
–

17

The expressive power of indeterminate dataflow primitives
–
 1992

27

A Relational Model of NonDeterministic Dataflow
–
 1998

1

On the Bisimulation Theory and Axiomatization of Higherorder Process Calculi
–

189

A Calculus of Mobile Processes, Part I
–
 1989

57

A brief history of process algebra
–
 2004

6

The Expressive Power of Indeterminate Primitives in Asynchronous Computation
–
 1995

21

A Logical View Of Concurrent Constraint Programming
–
 1995
