论文信息 - Invariants and paradigms of concurrency theory

Invariants and paradigms of concurrency theory

We introduce a new invariant semantics of concurrent systems which is a direct generalisation of the causal partial order semantics. Our new semantics overcomes some of the problems encountered when one uses causal partial orders alone. We discuss various aspects of the new invariant model. In particular, we outline how the new invariants can be generated by 1-safe inhibitor Petri nets.

Maciej Koutny | Ryszard Janicki | M. Koutny | R. Janicki

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

[2] Roland Fraïssé. Theory of relations , 1986 .

[3] Glynn Winskel,et al. Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[4] Eike Best,et al. Concurrent Behaviour: Sequences, Processes and Axioms , 1984, Seminar on Concurrency.

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

[6] Leslie Lamport. What it means for a concurrent program to satisfy a specification: why no one has specified priority , 1985, POPL '85.

[7] E. Szpilrajn. Sur l'extension de l'ordre partiel , 1930 .

[8] P. Fishburn. Intransitive indifference with unequal indifference intervals , 1970 .

[9] Christian Lengauer,et al. A Methodology for Programming with Concurrency: An Informal Presentation , 1982, Sci. Comput. Program..

[10] Maciej Koutny,et al. Observing Concurrent Histories , 1990 .

[11] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .

[12] Doron A. Peled,et al. Interleaving set temporal logic , 1987, PODC '87.

[13] Henry Kautz,et al. A model of naive temporal reasoning , 1985 .

[14] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.