Concurrency, σ-Algebras, and Probabilistic Fairness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5504 LNCS, Issue , 2009, Pages 380-394

  Abbes, Samy ^a   Benveniste, Albert ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

Probabilistic event structures; Probabilistic fairness; Probabilistic Petri nets; True concurrency

Indexed keywords

EVENT STRUCTURES; KOLMOGOROV; MARKOVIAN; NEW CONSTRUCTION; PROBABILISTIC EVENT STRUCTURES; PROBABILISTIC FAIRNESS; PROBABILISTIC PETRI NETS; TRUE-CONCURRENCY;

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; GRAPH THEORY; PETRI NETS;

PROBABILITY;

EID: 70350666806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00596-1_27     Document Type: Conference Paper

References (21)

1. Abbes, S.: A (true) concurrent Markov property and some applications to Markov nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 70-89. Springer, Heidelberg (2005)
2. Abbes, S.: A projective formalism applied to topological and probabilistic event structures. Mathematical Structures in Computer Science 17, 819-837 (2007)
3. Abbes, S., Benveniste, A.: Branching cells as local states for event structures and nets: Probabilistic applications. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 95-109. Springer, Heidelberg (2005); Extended version available as Research Report INRIA RR-5347
4. Abbes, S., Benveniste, A.: Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information & Computation 204(2), 231-274 (2006)
5. Abbes, S., Benveniste, A.: Concurrency, σ-algebras and probabilistic fairness. Technical report, PPS/Université Paris 7 Denis Diderot (2008), http://hal.archives-ouvertes.fr/hal-00267518/en/
6. Abbes, S., Benveniste, A.: Probabilistic true-concurrency models: Markov nets and a Law of large numbers. Theoretical Computer Science 390, 129-170 (2008)
7. Baccelli, F., Gaujal, B.: Stationary regime and stability of free-choice Petri nets. Springer, Heidelberg (1994)
8. Breiman, L.: Probability. SIAM, Philadelphia (1968)
9. Buchholz, P.: Compositional analysis of a Markovian process algebra. In: Rettelbach, M., Herzog, U. (eds.) Proceedings of 2nd process algebra and performance modelling workshop. Arbeitsberichte des IMMD, vol. 27 (1994)
10. Danos, V., Desharnais, J., Panangaden, P.: Labelled Markov processes: stronger and faster approximations. ENTCS 87, 157-203 (2004)
11. Darondeau, P., Nolte, D., Priese, L., Yoccoz, S.: Fairness, distance and degrees. Theoretical Computer Science 97, 131-142 (1992)
12. de Alfaro, L.: From fairness to chance. Electronic Notes in Theoretical Computer Science 22, 55-87 (1999)
13. Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labeled Markov processes. Information and Computation 184(1), 160-200 (2003)
14. Götz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. In: Proceedings of Performance 1993 (1993)
15. Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous π-calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol. 1784, pp. 146-160. Springer, Heidelberg (2000)
16. Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, Cambridge (1996)
17. Jou, C., Smolka, S.: Equivalences, congruences and complete axiomatizations of probabilistic processes. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 367-383. Springer, Heidelberg (1990)
18. Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94(1), 1-28 (1991)
19. Park, D.: Concurrency and automata on infinite sequences. In: Theoretical Computer Science, pp. 167-183. Springer, Heidelberg (1981)
20. Varacca, D., Völzer, H., Winskel, G.: Probabilistic event structures and domains. Theoretical Computer Science 358(2), 173-199 (2006)
21. Wilkinson, D.: Stochastic modelling for systems biology. Chapman & Hamm/CRC, Boca Raton (2006)