Branching cells as local states for event structures and nets: Probabilistic applications

Lecture Notes in Computer Science

Volumn 3441, Issue , 2005, Pages 95-109

  Abbes, Samy ^a,b   Benveniste, Albert ^a  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; LEARNING SYSTEMS; MARKOV PROCESSES; PETRI NETS; PROBABILITY; SOFTWARE ENGINEERING; STATISTICAL METHODS; STOCHASTIC PROGRAMMING;

BRANCHING CELLS; EVENT STRUCTURES; LAW OF LARGE NUMBERS (LLN); MARKOV NETS;

DATA ACQUISITION;

EID: 24644517701     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31982-5_6     Document Type: Conference Paper

References (15)

1. Abbes, S.: Probabilistic model for concurrent and distributed systems. Limit theorems and applications. PhD Thesis (2004), IRISA-Université de Rennes 1.
2. Abbes, S. and Benvensite, A.: Branching cells as local states for event structures and nets: probabilistic applications. INRIA Research Report (2004) RR-5347. http://www.inria.fr/rrrt/rr-5347.html
3. Benveniste, A., Haar, S. and Fabre, E.: Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Aut. Cont. 48:11 (2003) 1936-1950.
4. Benveniste, A., Haar, S., Fabre, E. and Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Proc. of CONCUR'03, LNCS 2761 (2003), 1-26.
5. Extended and improved version to appear in Discrete Event Dynamic Systems: Theory and Application, Kluwer, 2005.
6. Desel, J. and Esparza, R.: Free choice Petri nets. Cambridge University Press (1995).
7. Haas, P. J.: Stochastic Petri nets. Springer-Verlag (2002).
8. Hermanns, H., Herzog, U. and Katoen, J.-P.: Process algebra for performance evaluation. T.C.S. 274:1 (2002) 43-88.
9. Larsen, K.G. and Skou, A.: Bisimulation through probabilistic testing. Inf. and Comp. 94:1 (1991) 1-28.
10. Mateus, P., Mitchell, J. C. and Scedrov, A.: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. Proc. of CONCURR'03, LNCS 2761 (2003) 327-349.
11. Nielsen, M., Plotkin, G. and Winskel, G.: Petri nets, event structures and domains, part 1. T.C.S. 13 (1981) 85-108.
12. Segala, R. and Lynch, N.: Decision algorithms for probabilistic bisimulations. Proc. of CONCUR'02, LNCS 2421 (2002) 371-396.
13. Shiryaev, A.N.: Probability. Springer Verlag (1984).
14. Varacca, D., Völzer, H. and Winskel, G.: Probabilistic event structures and domains. Proc. of CONCUR'04, LNCS 3170 (2004) 481-496.
15. Völzer, H.: Randomized non-sequential processes. Proc. of CONCUR'01, LNCS 2154 (2001) 184-201.