Views of distributed systems

Manfred Broy; Thomas Streicher

doi:10.1007/3-540-18419-8_12

Views of distributed systems

Manfred Broy, Thomas Streicher

Universität Passau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings
Editors	Marisa Venturini Zilli
Publisher	Springer Verlag
Pages	114-143
Number of pages	30
ISBN (Print)	9783540184195
DOIs	https://doi.org/10.1007/3-540-18419-8_12
State	Published - 1987
Externally published	Yes
Event	Advanced School on Mathematical Models for the Semantics of Parallelism, 1986 - Rome, Italy Duration: 24 Sep 1986 → 1 Oct 1986

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	280 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Advanced School on Mathematical Models for the Semantics of Parallelism, 1986
Country/Territory	Italy
City	Rome
Period	24/09/86 → 1/10/86

Access to Document

10.1007/3-540-18419-8_12

Cite this

Broy, M., & Streicher, T. (1987). Views of distributed systems. In M. V. Zilli (Ed.), Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings (pp. 114-143). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 280 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-18419-8_12

@inproceedings{0831243621be453c91f43be21dcfc28a,

title = "Views of distributed systems",

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.",

author = "Manfred Broy and Thomas Streicher",

note = "Publisher Copyright: {\textcopyright} 1987, Springer-Verlag.; Advanced School on Mathematical Models for the Semantics of Parallelism, 1986 ; Conference date: 24-09-1986 Through 01-10-1986",

year = "1987",

doi = "10.1007/3-540-18419-8_12",

language = "English",

isbn = "9783540184195",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "114--143",

editor = "Zilli, {Marisa Venturini}",

booktitle = "Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings",

}

Broy, M & Streicher, T 1987, Views of distributed systems. in MV Zilli (ed.), Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 280 LNCS, Springer Verlag, pp. 114-143, Advanced School on Mathematical Models for the Semantics of Parallelism, 1986, Rome, Italy, 24/09/86. https://doi.org/10.1007/3-540-18419-8_12

Views of distributed systems. / Broy, Manfred; Streicher, Thomas.
Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings. ed. / Marisa Venturini Zilli. Springer Verlag, 1987. p. 114-143 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 280 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Views of distributed systems

AU - Broy, Manfred

AU - Streicher, Thomas

PY - 1987

Y1 - 1987

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84913714107&partnerID=8YFLogxK

U2 - 10.1007/3-540-18419-8_12

DO - 10.1007/3-540-18419-8_12

M3 - Conference contribution

AN - SCOPUS:84913714107

SN - 9783540184195

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 114

EP - 143

BT - Mathematical Models for the Semantics of Parallelism - Advanced School, Proceedings

A2 - Zilli, Marisa Venturini

PB - Springer Verlag

T2 - Advanced School on Mathematical Models for the Semantics of Parallelism, 1986

Y2 - 24 September 1986 through 1 October 1986

ER -

Views of distributed systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this