Skip to main content
SpringerLink
Log in

Models and operators for nondeterministic processes

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1984 (MFCS 1984)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 176))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brookes S.D. "On the relationship of CCS and CSP" Proc. ICALP '83, Volume 154, pp. 83–96; (1983).

    Google Scholar 

  2. Burstall, R.B. and Goguen, J.A. "Algebras, Theories and Freeness: an Introduction for Computer Scientists" in Theoretical Foundations of Programming Methodology (M. Broy and G. Schmidt eds), Reidel, Dodrecht, (1982).

    Google Scholar 

  3. Cohn, P.M. "Universal Algebra" Harper and Row, New York (1965).

    Google Scholar 

  4. Courcelle, E. and Nivat, M. "Algebraic Families of Interpretations", Proc. 17th FOCS Annual Symposium, Houston, (1976).

    Google Scholar 

  5. De Nicola, R. "Two complete Axiom Systems for a Theory of Communicating Sequential Processes".Internal Report CSR-154-83, University of Edinburgh, (1983). A short version in Proc. FCT'83, Volume 158, Springer-Verlag, Berlin pp. 115–126.

    Google Scholar 

  6. De Nicola, R. and Hennessy, M. "Testing equivalences for processes", Proc. ICALP '83, LNCS 154, (1983). Ext. version to appear in Theoretical Computer Science.

    Google Scholar 

  7. Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. "Initial algebra semantics and continuous algebras" Journal of ACM 24, No 1, 68–95, (1977).

    Google Scholar 

  8. Guessarian, I. "Algebraic Semantics", Volume 99, Springer-Verlag, Berlin (1981).

    Google Scholar 

  9. Hennessy, M. "Synchronous and Asynchronous Experiments on Processes", Technical Report CSR-125-82, University of Edinburgh, (1982).

    Google Scholar 

  10. Hennessy, M. "A Model for Nondeterministic Machines", Technical Report CSR-135-83, pp. 299–309, (1983).

    Google Scholar 

  11. Hennessy, M., Milner, R. "On Observing Nondeterminism and Concurrency", LNCS 85, pp. 299–309, (1980).

    Google Scholar 

  12. Hoare, C.A.R. "Communicating Sequential Processes", CACM Vol. 21, No8, (1978).

    Google Scholar 

  13. Hoare, C.A.R. "A Model for Communicating Sequential Processes", Technical Monograph Prg-22, Computing Laboratory, University of Oxford, (1982).

    Google Scholar 

  14. Hoare, C.A.R., Brookes, S.D. and Roscoe, A.D. "A Theory of Communicating Sequential Processes", Technical Monograph Prg-16, Computing Laboratory, University of Oxford (1981). To appear in Journal of ACM.

    Google Scholar 

  15. Ichbiach, J.D. et al. "Reference Manual for the ADA programming language", MIL-STD-18 15A, (1983).

    Google Scholar 

  16. Margaria, I. and Zacchi, M. "Modelli per processi comunicanti: confronto tra la teoria dei CSP e CCS", Cnet project Technical Report No 96, (1983).

    Google Scholar 

  17. Milner, R. "A Calculus of Communicating Systems", Volume 92, Springer-Verlag, Berlin (1980).

    Google Scholar 

  18. Rounds, W.C. and Brookes, S.D. "Possible futures, acceptances, refusals and communicating processes", Proc. 22nd FOCS Nashville, (1981).

    Google Scholar 

  19. Scott, I.S. "Data types as lattices", SIAM J. on Computing, vol. 5, No 3, (1976).

    Google Scholar 

  20. Stoy, J. "Denotational semantics: the Scott-Strachey approach to programming language theory", MIT Press, (1977).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy

    Rocco De Nicola

  2. Department of Computer Science, University of Edinburgh, Edinburgh, UK

    Rocco De Nicola

Authors
  1. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. P. Chytil V. Koubek

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Nicola, R. (1984). Models and operators for nondeterministic processes. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030326

Download citation

  • DOI: https://doi.org/10.1007/BFb0030326

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13372-8

  • Online ISBN: 978-3-540-38929-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation