Józef Winkowski PROBABILISTIC MODELS OF RANDOM BEHAVIOURS OF CONCURRENT SYSTEMS

The paper presents a theoretical basis for describing and analysing random behaviours of concurrent systems of a broad class.

[1]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[2]  Rudolf Carnap,et al.  Introduction to Symbolic Logic and Its Applications , 1958 .

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

[4]  Robin Milner,et al.  Synthesis of Communicating Behaviour , 1978, MFCS.

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

[6]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

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

[8]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

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

[10]  Helmut Plünnecke.  K-density, N-density and finiteness properties , 1984, European Workshop on Applications and Theory in Petri Nets.

[11]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

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

[13]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[14]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[15]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[16]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[17]  Gordon D. Plotkin,et al.  Configuration structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[18]  Abbas Edalat,et al.  An Extension Result for Continuous Valuations , 2000, COMPROX.

[19]  Manfred Droste,et al.  Continuous Petri Nets and Transition Systems , 2001, Unifying Petri Nets.

[20]  Józef Winkowski,et al.  An algebraic characterization of independence of Petri net processes , 2003, Inf. Process. Lett..

[21]  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..

[22]  Glynn Winskel,et al.  Probabilistic event structures and domains , 2004, Theor. Comput. Sci..

[23]  B. Schutter.  Models for Hybrid Systems , 2005 .

[24]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

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

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

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

[28]  Józef Winkowski,et al.  An Algebraic Framework for Defining Random Concurrent Behaviours , 2008, Fundam. Informaticae.

[29]  Józef Winkowski,et al.  An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation , 2009, Fundam. Informaticae.

[30]  Józef Winkowski,et al.  An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation , 2009, Fundam. Informaticae.