An Algebraic Framework for Defining Random Concurrent Behaviours

The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.

[1]  Grzegorz Rozenberg,et al.  Petri Nets: Basic Notions, Structure, Behaviour , 1986, Current Trends in Concurrency.

[2]  D. V. Lindley,et al.  An Introduction to Probability Theory and Its Applications. Volume II , 1967, The Mathematical Gazette.

[3]  Nancy A. Lynch,et al.  Observing Branching Structure through Probabilistic Contexts , 2007, SIAM J. Comput..

[4]  Józef Winkowski,et al.  Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes , 2005, Fundam. Informaticae.

[5]  Ugo Montanari,et al.  Axiomatizing net computations and processes , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[6]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[7]  Jan A. Bergstra,et al.  The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.

[8]  Józef Winkowski,et al.  Behaviour Algebras , 2007, Fundam. Informaticae.

[9]  P. Meyer.  Probability and potentials , 1966 .

[10]  Nancy A. Lynch,et al.  Trace-Based Semantics for Probabilistic Timed I/O Automata , 2007, HSCC.

[11]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[12]  K. Parthasarathy.  Introduction to Probability and Measure , 1979 .

[13]  Marta Z. Kwiatkowska,et al.  Model checking for probability and time: from theory to practice , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[14]  Micha Sharir,et al.  Termination of Probabilistic Concurrent Program , 1983, TOPL.

[15]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[16]  Józef Winkowski,et al.  Towards a Framework for Modelling Behaviours of Hybrid Systems , 2007, Fundam. Informaticae.

[17]  Frank E. Grubbs,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[18]  S. Hart,et al.  Termination of Probabilistic Concurrent Programs. , 1982 .