Process algebra with partial choice

J.C.M. Baeten; J.A. Bergstra

doi:10.1007/BFb0015026

Process algebra with partial choice

J.C.M. Baeten, J.A. Bergstra

Mathematics and Computer Science

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

7 Citations (Scopus)

104 Downloads (Pure)

Original language	English
Title of host publication	CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)
Editors	B. Jonsson, J. Parrow
Place of Publication	Berlin
Publisher	Springer
Pages	465-480
ISBN (Print)	3-540-58328-7
DOIs	https://doi.org/10.1007/BFb0015026
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science
Volume	836
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0015026

586802Final published version, 117 KB

Cite this

@inproceedings{ef94dc1ecfd044988cc7c8d0a2635f0d,

title = "Process algebra with partial choice",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "1994",

doi = "10.1007/BFb0015026",

language = "English",

isbn = "3-540-58328-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "465--480",

editor = "B. Jonsson and J. Parrow",

booktitle = "CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)",

}

Process algebra with partial choice. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994). ed. / B. Jonsson; J. Parrow. Berlin: Springer, 1994. p. 465-480 (Lecture Notes in Computer Science; Vol. 836).

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

TY - GEN

T1 - Process algebra with partial choice

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1994

Y1 - 1994

U2 - 10.1007/BFb0015026

DO - 10.1007/BFb0015026

M3 - Conference contribution

SN - 3-540-58328-7

T3 - Lecture Notes in Computer Science

SP - 465

EP - 480

BT - CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)

A2 - Jonsson, B.

A2 - Parrow, J.

PB - Springer

CY - Berlin

ER -