Skip to main content
SpringerLink
Log in

Categorical models of process cooperation

  • Part II Research Contributions
  • Chapter
  • First Online:
Category Theory and Computer Programming

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

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. Austry, D. and Boudol, G.: "Algèbre de Processus et Sychronisation" Theoretical Computer Science 30 (1984) 91–131.

    Google Scholar 

  2. Brookes, S.D.: "On the Relationship of CCS and CSP". Proc. ICALP 83 LNCS. n. 154 (ed. J. Díaz) Springer Verlag (1983), 83–96.

    Google Scholar 

  3. Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W.: "A Theory of Communicating Sequential Processes" J.A.C.M. 31, 3 (1984) 560–599.

    Google Scholar 

  4. Bergstra, J.A. and Klop, J.W.: "Process Algebra for Synchronous Communication". Information and Control 60 (1984) 109–137.

    Google Scholar 

  5. De Nicola, R.: "Testing Equivalence and Fully Abstract Models for Communicating Processes". Ph.D. Thesis. Edinburgh University. (1986).

    Google Scholar 

  6. Degano, P. and Montanari, U.: "Specification Languages for Distributed Systems". Proc. Mathematical Foundations of Software Development LNCS n. 185 Springer Verlag, Berlin (1985) 29–51.

    Google Scholar 

  7. Hoare, C.A.R.: "Communicating Sequential Processes" Comm. A.C.M. Vol. 21 n. 8 (1978) 666–677.

    Google Scholar 

  8. Hennessy, M.: "Synchronous and Asynchronous Experiments on Processes" Information and Control 59 (1983) 36–83.

    Google Scholar 

  9. Labella, A. and Pettorossi, A.: "Categorical Models for Hand-shaking Communications" Annales Societatis Mathematicae Polonae Series IV: Fundamenta Informaticae VIII.3–4 Warsaw (Poland) (1985), 323–357.

    Google Scholar 

  10. Mazurkiewicz, A.: "Concurrent Program Schemes and their Interpretations" DAIMI PB 78 Aarhus University Publ. (1978).

    Google Scholar 

  11. Milner, R.: "A Calculus of Communicating Systems" LNCS n. 92 Springer Verlag, Berlin (1980).

    Google Scholar 

  12. Milner, R.: "Calculi for Synchrony and Asynchrony" Theoretical Computer Science 25 (1983) 267–310.

    Google Scholar 

  13. Winkowski, J.: "Towards an Algebraic Description of Discrete Processes and Systems". ICS PAS Report n. 408, Warsaw Poland (April 1980).

    Google Scholar 

  14. Winskel, G.: "Synchronization Trees". LNCS n. 154 Proc. ICALP 83 Springer Verlag (1983), pp.695–711.

    Google Scholar 

  15. Winskel, G.: "Categories of Models for Concurrency". LNCS.197 Seminar on Concurrency. Carnegie-Mellon University, Pittsburgh July 9–11, 1984. Springer Verlag (1985) 246–267.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università La Sapienza, 00185, Roma, Italy

    A. Labella

  2. IASI — CNR, Viale Manzoni 30, 00185, Roma, Italy

    A. Pettorossi

Authors
  1. A. Labella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Pettorossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt Samson Abramsky Axel Poigné David Rydeheard

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Labella, A., Pettorossi, A. (1986). Categorical models of process cooperation. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds) Category Theory and Computer Programming. Lecture Notes in Computer Science, vol 240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17162-2_129

Download citation

  • DOI: https://doi.org/10.1007/3-540-17162-2_129

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17162-1

  • Online ISBN: 978-3-540-47213-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation