True-concurrency probabilistic models branching cells and distributed probabilities for event structures

Information and Computation

Volumn 204, Issue 2, 2006, Pages 231-274

  Abbes, Samy ^a   Benveniste, Albert ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; INFORMATION SYSTEMS;

BRANCHING CELLS; CONCURRENT PROCESS; CONCURRENT SYSTEMS; EVENT STRUCTURES; LOCALLY FINITES; PROBABILISTIC MODELS; SUB-STRUCTURES; TRUE CONCURRENCY;

SEMANTICS;

EID: 84855204410     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2005.10.001     Document Type: Article

References (18)

1. A. Benveniste, S. Haar, E. Fabre, Markov nets: probabilistic models for distributed and concurrent systems, IEEE Trans. Automatic Control 48(11) (2003) 1936-1950.
2. H. Völzer, Randomized non-sequential processes, in: K. Larsen, M. Nielsen (Eds.), Proceedings of CONCUR 01, Lecture Notes in Computer Science, vol. 2154, Springer, Berlin, 2001, pp. 184-201.
3. S. Abbes, Probabilistic model for concurrent and distributed systems. limit theorems and application to statistical parametric estimation, Ph. D. thesis, IRISA/Université de Rennes 1, available fromftp://ftp.irisa.fr/ techreports/theses/2004/abbes.pdf (2004).
4. D. Varacca, H. Völzer, G. Winskel, Probabilistic event structures and domains, in: P. Gardner, N. Yoshida (Eds.), Proceeding of CONCUR 2004, Lecture Notes in Computer Science, vol. 3170, Springer, 2004, pp. 481-496.
5. M. Nielsen, G. Plotkin, G. Winskel, Petri nets, event structures and domains, part 1, Theor. Comput. Sci. 13(1980) 86-108.
6. M. Nielsen, G. Winskel, The Book of Traces, World Scientific, Singapore, 1995, Chapter. Trace structures and other models for concurrency.
7. J. Desel, R. Esparza, Free-choice Petri nets, Cambridge University Press, Cambridge, 1995.
8. C. Jones, G. Plotkin, A probabilistic powerdomain of evaluations, in: Proceedings of LICS 1989, IEEE Computer Society Press, Silver Spring, MD, 1989.
9. R. Tix, K. Keimel, G. Plotkin, Semantic domains for combining probability and non-determinism, Electronic Notes Theor. Comput. Sci. 129(2004) 1-104.
10. M. Alvarez-Manilla, A. Edalat, N. Saheb-Djahromi, An extension result for continuous valuations, J. Lond. Math. Soc. 61(2) (2000) 629-640.
11. G. Winskel, Event structure semantics for CCS and related languages., Tech. rep., DAIMI, pB-159(1983).
12. S. Abbes, A. Benveniste, Probabilistic true-concurrency models: Markov nets and a Law of large numbers, IRISA, 2005, available from http://www.irisa.fr/distribcom/benveniste/pub/Abbes-PIfossacs05-tcs.pdf (2004).
13. P. Thiagarajan, Regular trace event structures, Tech. Rep. RS-96-32, BRICS, Aarhus University, Denmark, 1996.
14. G. Kahn, G. Plotkin, Concrete domains, Theor. Comput. Sci. 121 (1-2) (1993) 187-277.
15. L. Breiman, Probability, SIAM, 1992.
16. G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
17. N. Bourbaki, Intégration, Chapitre ix, Éléments de mathématiques, fascicule xxxv, Hermann, troisième édition, 1969.
18. S. Abbes, A. Benvensite, Branching cells as local states for event structures and nets: probabilistic applications, in: V. Sassone (Ed.), Proceedings of FOSSACS 05, Lecture Notes in Computer Science, vol. 3441, Springer, Berlin, 2005, pp. 95-109. (Pubitemid 41273701)