Skip to main content
SpringerLink
Log in

Views of distributed systems

  • Conference paper
  • First Online:
Mathematical Models for the Semantics of Parallelism

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

Abstract

A number of distinct views of distributed systems and ways for their formal modelling are explained, discussed, and related. By this, in particular, an attempt is undertaken to unify and show the connection between distinct approaches to formalizing distributed systems and programs describing them.

This work was carried out within the DFG project Parallelität

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. M. Broy: Semantics of communicating processes. Information & Control 61:3 (1984) 202–246.

    Google Scholar 

  2. M. Broy, F.L. Bauer: A systematic approach to language constructs for concurrency. SCP 1985

    Google Scholar 

  3. P. Degano, R. De Niccola, U. Montanari: Partial ordering derivations for CCS. FCT 85, Lecture Notes in Computer Science 199, Berlin-Heidelberg-New York-Tokyo: Springer 1985, 520–533

    Google Scholar 

  4. P. Degano, U. Montanari: Distributed systems, partial ordering of events, and event structures. In: M. Broy: Control Flow and Data Flow: Concepts of Distributed Programming. NATO ASI Series, Series F: Computer and System Sciences, Vol. 14, Berlin-Heidelberg-New York-Tokyo: Springer 1985, 7–106

    Google Scholar 

  5. M.C.B. Hennessy, G.D. Plotkin: Full abstraction for simple parallel programs. 8th Mathematical Foundations of Computer Science, Olomouc, 1979, Lecture Notes in Computer Science

    Google Scholar 

  6. M.C.B. Hennessy, R. Milner: On observing nondeterminism and concurrency. In: J. de Bakker, Jn van Leeuwen: International Colloquium on Automata, Languages and Programming 80, Lecture Notes in Computer Science 85, Berlin-Heidelberg-New York: Springer 1980, 299–309.

    Google Scholar 

  7. M. Hennessy, G. Plotkin: A term model for CCS. 9th Mathematical Foundations of Computer Science (1980), Lecture Notes in Computer Science 88, Berlin-Heidelberg-New York: Springer 1980, 261–274.

    Google Scholar 

  8. C.A.R. Hoare: Communicating sequential processes, Comm. ACM 21 (8) (1978) 666–667.

    Article  Google Scholar 

  9. C.A.R: Hoare, S.D. Brookes and A.W. Roscoe: A theory of communicating sequential processes. Oxford University Computing Laboratory, Programming Research Group, Technical Monograph PRG-21, Oxford (1981). Also in: J. ACM 31 (1984) 560–599

    Google Scholar 

  10. C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall 1985

    Google Scholar 

  11. G. Kahn and D. MacQueen, Coroutines and networks of processes, Proc. IFIP Congress 1977

    Google Scholar 

  12. A. Mazurkiewicz: Traces, histories, graphs: instances of a process monoid. In: M.P. Chytil, V. Koubek (eds.): MFCS 1984, Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York-Tokyo: Springer 1985, 115–133

    Google Scholar 

  13. D.B. MacQueen, Models for distributed computing, IRIA RR No. 351 (1979).

    Google Scholar 

  14. R. Milner: A Calculus for Communicating Systems, Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York-Tokyo: Springer 1980

    Google Scholar 

  15. R. Milner: On relating synchrony and asynchrony. University of Edinburgh, Department of Computer Science, Internal Report CSR-75-80, December 1980

    Google Scholar 

  16. M. Nielsen, G. Plotkin, G. Winskel: Petri nets, event structures, and domains. Part 1. Theoretical Computer Science 13, 1981, 85–108

    Article  Google Scholar 

  17. E.-R. Olderog, C.A.R. Hoare: Specification-oriented semantics for communicating processes. In: Diaz: International Colloquium on Automata, Languages and Programming 83, Lecture Notes in Computer Sciences, Berlin-Heidelberg-New York: Springer 1983

    Google Scholar 

  18. L.G. Tesler and H.J. Enea: A language design for concurrent processes, Spring Joint Computer Conference (1968) 403–408.

    Google Scholar 

  19. J. Winkowski: Behaviors of concurrent systems. Theoretical Computer Science 11, 1980, 39–60.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Mathematik und Informatik, Universität Passau, Postfach 2540, D-8390, Passau

    Manfred Broy & Thomas Streicher

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Streicher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marisa Venturini Zilli

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broy, M., Streicher, T. (1987). Views of distributed systems. In: Zilli, M.V. (eds) Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, vol 280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18419-8_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-18419-8_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18419-5

  • Online ISBN: 978-3-540-47960-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation