An algebraic framework for concurrent systems

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

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

[3]  Hartmut Ehrig,et al.  Parallelism of Manipulations in Multidimensional Information Structures , 1976, MFCS.

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

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

[6]  Józef Winkowski.  An Axiomatic Characterization of Algebras of Processes of Petri Nets , 2006, Fundam. Informaticae.

[7]  Andrea Maggiolo-Schettini,et al.  An Algebra of Processes , 1987, J. Comput. Syst. Sci..

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

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

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

[11]  S. Lane.  Categories for the Working Mathematician , 1971 .

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

[13]  Józef Winkowski.  An Algebraic Description of System Behaviours , 1982, Theor. Comput. Sci..

[14]  Peter Hilton,et al.  Introduction to the Theory of Categories and Functors , 1968 .

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

[16]  Bart De Schutter.  Models for Hybrid Systems , 2005 .

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

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

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

[20]  Antoni W. Mazurkiewicz,et al.  Basic notions of trace theory , 1988, REX Workshop.

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

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

[23]  Marek Antoni Bednarczyk,et al.  Categories of asynchronous systems , 1987 .

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

[25]  José Meseguer,et al.  Process versus Unfolding Semantics for Place/Transition Petri Nets , 1996, Theor. Comput. Sci..

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

[27]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

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

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

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

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

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

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

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