The following publications are possibly variants of this publication:
- A Theory of Communicating Processes with Value PassingMatthew Hennessy, Anna Ingólfsdóttir. iandc, 107(2):202-236, December 1993.
- Communicating Processes with Value-passing and AssignmentsMatthew Hennessy, Anna Ingólfsdóttir. fac, 5(5):432-466, 1993.
- A Proof Sustem for Communicating Processes with Value-PassingMatthew Hennessy. fac, 3(4):346-366, 1991.
- Semantic models for communicating processes with value-passingAnna Ingólfsdóttir. PhD thesis, University of Sussex, UK, 1994. [doi]
- A Proof System for Communicating Processes with Value-passing (Extended Abstract)Matthew Hennessy. fsttcs 1989: 325-339