Value-Passing in Process Algebras (Abstract).

Matthew Hennessy Value-Passing in Process Algebras (Abstract). 31 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#Hennessy90 http://dx.doi.org/10.1007/BFb0039048