Advertisement

A modal characterisation of observable machine-behaviour

  • R. Milner
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 112)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Cha]
    Chandra, A. (1978) "Computable Nondeterministic Functions", Proc. 19th Ann. Symposium on Foundations of Computer Science, IEEE, pp.127–131.Google Scholar
  2. [HM]
    Hennessy, M. and R. Milner (1980) "On observing nondeterminism and concurrency", Proc. 7th ICALP, Amsterdam, LNCS 85, pp.299–309Google Scholar
  3. [HP]
    Hennessy, M. and G. Plotkin (1980) "A term model for CCS", Proc. 9th MFCS, Poland, LNCS 88, pp.261–274Google Scholar
  4. [Mil]
    Milner, R. (1980) "A Calculus of Communicating Systems", LNCS92.Google Scholar
  5. [Pra]
    Pratt, V. (1976) "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th Ann. Symposium on Foundations of Computer Science, IEEE, pp.109–121.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • R. Milner
    • 1
  1. 1.Edinburgh UniversityUSA

Personalised recommendations