References
M. Hennessy, An Algebraic Theory of Processes, MIT Press, 1988
M. Hennessy, A. Ingolfsdottir "A Theory of Communicating processes with Value-Passing", Technical Report No. 3/89, University of Sussex, 1989. Also presented at ICALP 90.
M. Hennessy "A Proof System for Communicating Processes with Value-Passing". Technical Report No.5/89, University of Sussex, 1989. Also presented at FST-TCS'89.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M. (1990). Value-passing in process algebras. In: Baeten, J.C.M., Klop, J.W. (eds) CONCUR '90 Theories of Concurrency: Unification and Extension. CONCUR 1990. Lecture Notes in Computer Science, vol 458. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039048
Download citation
DOI: https://doi.org/10.1007/BFb0039048
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53048-0
Online ISBN: 978-3-540-46395-5
eBook Packages: Springer Book Archive