On observing nondeterminism and concurrency: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Matthew Hennessy; Robin Milner

doi:10.1007/3-540-10003-2_79

On observing nondeterminism and concurrency: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Matthew Hennessy, Robin Milner

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

Original language	English
Title of host publication	Automata, Languages and Programming
Editors	Jaco Bakker, Jan Leeuwen
Publisher	Springer Berlin Heidelberg
Pages	299-309
Number of pages	11
Volume	85
ISBN (Electronic)	978-3-540-39346-7
ISBN (Print)	978-3-540-10003-4
DOIs	https://doi.org/10.1007/3-540-10003-2_79
Publication status	Published - 1980

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	85

Access to Document

10.1007/3-540-10003-2_79

http://dx.doi.org/10.1007/3-540-10003-2_79

Cite this

@inproceedings{5f17ea4dbe3e4289b85842e0bcdff94c,

title = "On observing nondeterminism and concurrency: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980",

author = "Matthew Hennessy and Robin Milner",

year = "1980",

doi = "10.1007/3-540-10003-2_79",

language = "English",

isbn = "978-3-540-10003-4",

volume = "85",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "299--309",

editor = "Jaco Bakker and Jan Leeuwen",

booktitle = "Automata, Languages and Programming",

}

On observing nondeterminism and concurrency : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980. / Hennessy, Matthew; Milner, Robin.

Automata, Languages and Programming. ed. / Jaco Bakker; Jan Leeuwen. Vol. 85 Springer Berlin Heidelberg, 1980. p. 299-309 (Lecture Notes in Computer Science; Vol. 85).

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

TY - GEN

T1 - On observing nondeterminism and concurrency

T2 - Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

AU - Hennessy, Matthew

AU - Milner, Robin

PY - 1980

Y1 - 1980

U2 - 10.1007/3-540-10003-2_79

DO - 10.1007/3-540-10003-2_79

M3 - Conference contribution

SN - 978-3-540-10003-4

VL - 85

T3 - Lecture Notes in Computer Science

SP - 299

EP - 309

BT - Automata, Languages and Programming

A2 - Bakker, Jaco

A2 - Leeuwen, Jan

PB - Springer Berlin Heidelberg

ER -