Integrating Probability with Time and Shared-Variable Concurrency

Zhu, H.; Qin, S.; He, J.; Bowen, J.

doi:10.1109/sew.2006.22

Integrating Probability with Time and Shared-Variable Concurrency

Zhu, H.; Qin, S.; He, J.; Bowen, J.

Authors

H. Zhu

S. Qin

J. He

J. Bowen

Abstract

Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. In this paper, we integrate probability, time and concurrency in one single model, where the concurrency feature is modelled using shared-variable based communication. The probability feature is represented by a probabilistic nondeterministic choice, probabilistic guarded choice and a probabilistic version of parallel composition. We formalize an operational semantics for such an integration. Based on this model we define a bisimulation relation, from which an observational equivalence between probabilistic programs is investigated and a collection of algebraic laws are explored. We also implement a prototype of the operational semantics to animate the execution of probabilistic programs

Citation

Zhu, H., Qin, S., He, J., & Bowen, J. (2006). Integrating Probability with Time and Shared-Variable Concurrency. In 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, 24-28 April 2005, Columbia, Maryland ; proceedings (179-189). https://doi.org/10.1109/sew.2006.22

Conference Name	The 30th Nasa/IEEE Software Engineering Workshop (SEW-30)
Conference Location	Columbia, Maryland, USA
Start Date	Apr 24, 2005
End Date	Apr 28, 2005
Publication Date	Apr 1, 2006
Deposit Date	Nov 17, 2009
Publicly Available Date	Nov 8, 2010
Publisher	Institute of Electrical and Electronics Engineers
Pages	179-189
Book Title	30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, 24-28 April 2005, Columbia, Maryland ; proceedings.
DOI	https://doi.org/10.1109/sew.2006.22

Files

Published Conference Proceeding (204 Kb)
PDF

Copyright Statement
© 2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.