Discrete time process algebra

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

doi:10.1007/BFb0084806

Discrete time process algebra

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

Mathematics and Computer Science

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

12 Citations (Scopus)

144 Downloads (Pure)

Original language	English
Title of host publication	CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)
Editors	R. Cleaveland
Place of Publication	Berlin
Publisher	Springer
Pages	401-420
ISBN (Print)	3-540-55822-5
DOIs	https://doi.org/10.1007/BFb0084806
Publication status	Published - 1992

Publication series

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

Access to Document

10.1007/BFb0084806

586796Final published version, 1.7 MB

Cite this

@inproceedings{36ff3551dff04cda895277d4b084e249,

title = "Discrete time process algebra",

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

year = "1992",

doi = "10.1007/BFb0084806",

language = "English",

isbn = "3-540-55822-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "401--420",

editor = "R. Cleaveland",

booktitle = "CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)",

address = "Germany",

}

Discrete time process algebra. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992). ed. / R. Cleaveland. Berlin: Springer, 1992. p. 401-420 (Lecture Notes in Computer Science; Vol. 630).

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

TY - GEN

T1 - Discrete time process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1992

Y1 - 1992

U2 - 10.1007/BFb0084806

DO - 10.1007/BFb0084806

M3 - Conference contribution

SN - 3-540-55822-5

T3 - Lecture Notes in Computer Science

SP - 401

EP - 420

BT - CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)

A2 - Cleaveland, R.

PB - Springer

CY - Berlin

ER -