Value-passing in process algebras

  • M. Hennessy
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 458)


  1. [He88]
    M. Hennessy, An Algebraic Theory of Processes, MIT Press, 1988Google Scholar
  2. [HI89]
    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.Google Scholar
  3. [He89]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • M. Hennessy
    • 1
  1. 1.University of SussexUK

Personalised recommendations