Concurrent processes as objects

  • Robin Milner
Invited Speakers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)


  1. [1]
    Baeten, J.C.M. and Weijland, W.P., Process Algebra, Cambridge University Press 1990.Google Scholar
  2. [2]
    Engberg, U. and Nielsen, M., A Calculus of Communicating Systems with Label Passing, Report DAIMI PB-208, Computer Science Department, University of Århus, 1986.Google Scholar
  3. [3]
    Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, 1985.Google Scholar
  4. [4]
    Hennessy, M., Algebraic Theory of Processes, MIT Press, 1988.Google Scholar
  5. [5]
    Milner, R., Communication and Concurrency, Prentice Hall, 1989Google Scholar
  6. [6]
    Milner, R., Functions as Processes, Proc. ICALP '90, Lecture Notes in Computer Science, Vol. 443, pp167–180, Springer-Verlag, 1990.Google Scholar
  7. [7]
    Milner, R., Parrow, J. and Walker, D., A Calculus of Mobile Processes, Reports ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989. (To appear in Journal of Information and Computation.)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Robin Milner
    • 1
  1. 1.University of EdinburghUK

Personalised recommendations