Abstract
This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells, where conflict arises; in which case probabilistic independence coincides with causal independence. An application to the semantics of a probabilistic CCS is sketched. An event structure is associated with a domain—that of its configurations ordered by inclusion. In domain theory probabilistic processes are denoted by continuous valuations on a domain. A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic event structures it supports. We explore how to extend probability to event structures which are not confusion-free via two notions of probabilistic runs of a general event structure. Finally, we show how probabilistic correlation and probabilistic event structures with confusion can arise from event structures which are originally confusion-free by using morphisms to rename and hide events.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford (1994)
Alvarez-Manilla, M.: Measure Theoretic Results for Continuous Valuations on Partially Ordered Spaces. PhD thesis, University of London - Imperial College of Science, Technology and Medicine (2000)
Alvarez-Manilla, M., Edalat, A., Saheb-Djaromi, N.: An extension result for continuous valuations. Journal of the London Mathematical Society 61(2), 629–640 (2000)
Benveniste, A., Fabre, E., Haar, S.: Markov nets: Probabilistic models for distributed and concurrent systems. IEEE Transactions on Automatic Control 48(11), 1936–1950 (2003)
de Alfaro, L., Henzinger, T.A., Jhala, R.: Compositional methods for probabilistic systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 351–365. Springer, Heidelberg (2001)
Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled markov processes. Information and Computation 179(2), 163–193 (2002)
Edalat, A.: Domain theory and integration. Theoretical Computer Science 151(1), 163–193 (1995)
Jones, C., Plotkin, G.D.: A probabilistic powerdomain of evaluations. In: Proceedings of 4th LICS, pp. 186–195 (1989)
Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente (1996)
Kahn, G., Plotkin, G.D.: Concrete domains. Theoretical Computer Science 121(1-2), 187–277 (1993)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94(1), 1–28 (1991)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13(1), 85–108 (1981)
Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT (1995)
Völzer, H.: Randomized non-sequential processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 184–201. Springer, Heidelberg (2001); Extended version as Technical Report 02-28 - SVRC - University of Queensland
Varacca, D.: Probability, nondeterminism and Concurrency. Two denotational models for probabilistic computation. PhD thesis, BRICS - Aarhus University (2003), http://www.brics.dk/~varacca
Varacca, D., Völzer, H., Winskel, G.: Probabilistic Event Structures and Domains. BRICS Technical Report RS-04-10 - Aarhus University (2004)
Winskel, G.: Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 561–576. Springer, Heidelberg (1982)
Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)
Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of logic in Computer Science, vol. 4, Clarendon Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Varacca, D., Völzer, H., Winskel, G. (2004). Probabilistic Event Structures and Domains. In: Gardner, P., Yoshida, N. (eds) CONCUR 2004 - Concurrency Theory. CONCUR 2004. Lecture Notes in Computer Science, vol 3170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28644-8_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-28644-8_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22940-7
Online ISBN: 978-3-540-28644-8
eBook Packages: Springer Book Archive