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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

34 Downloads (Pure)
Original languageEnglish
Title of host publicationCONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)
EditorsR. Cleaveland
Place of PublicationBerlin
PublisherSpringer
Pages472-485
ISBN (Print)3-540-55822-5
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
Volume630
ISSN (Print)0302-9743

Cite this