Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract)

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

doi:10.1007/BFb0084810

Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract)

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

Mathematics and Computer Science

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

14 Citations (Scopus)

96 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	472-485
ISBN (Print)	3-540-55822-5
DOIs	https://doi.org/10.1007/BFb0084810
Publication status	Published - 1992

Publication series

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

Access to Document

10.1007/BFb0084810

586797Final published version, 1.21 MB

Cite this

Baeten, J. C. M., Bergstra, J. A., & Smolka, S. A. (1992). Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract). In R. Cleaveland (Ed.), CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992) (pp. 472-485). (Lecture Notes in Computer Science; Vol. 630). Springer. https://doi.org/10.1007/BFb0084810

@inproceedings{debaa1aeab234e959ccd92ce39fb5ad1,

title = "Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract)",

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

year = "1992",

doi = "10.1007/BFb0084810",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "472--485",

editor = "R. Cleaveland",

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

address = "Germany",

}

Baeten, JCM, Bergstra, JA & Smolka, SA 1992, Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract). in R Cleaveland (ed.), CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992). Lecture Notes in Computer Science, vol. 630, Springer, Berlin, pp. 472-485. https://doi.org/10.1007/BFb0084810

Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract). / Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.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. 472-485 (Lecture Notes in Computer Science; Vol. 630).

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

TY - GEN

T1 - Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract)

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Smolka, S.A.

PY - 1992

Y1 - 1992

U2 - 10.1007/BFb0084810

DO - 10.1007/BFb0084810

M3 - Conference contribution

SN - 3-540-55822-5

T3 - Lecture Notes in Computer Science

SP - 472

EP - 485

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 -