The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP

[1]  Ilaria Castellani,et al.  Permutation of transitions: An event structure semantics for CCS and SCCS , 1988, REX Workshop.

[2]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[3]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

[4]  Ernst-Rüdiger Olderog,et al.  TCSP: Theory of Communicating Sequential Processes , 1986, Advances in Petri Nets.

[5]  Walter Vogler,et al.  The Step Failure Semantics , 1987, STACS.

[6]  Alan Mycroft,et al.  On the Relationship of CCS and Petri Nets , 1984, ICALP.

[7]  Wolfgang Reisig,et al.  Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness , 1984, ICALP.

[8]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[9]  J. W. de Bakker,et al.  Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..

[10]  Ilaria Castellani,et al.  On the Semantics of Concurrency: Partial Orders and Transition Systems , 1987, TAPSOFT, Vol.1.

[11]  Ursula Goltz.  On Representing CCS Programs by Finite Petri Nets , 1988, MFCS.

[12]  Ernst-Rüdiger Olderog,et al.  Operational Petri net semantics for CCSP , 1986, European Workshop on Applications and Theory of Petri Nets.

[13]  Rita Loogen,et al.  Modelling nondeterministic concurrent processes with event structures , 1991, Fundam. Informaticae.

[14]  Glynn Winskel,et al.  Events in computation , 1980 .

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

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

[17]  Glynn Winskel,et al.  Synchronisation Trees , 1983, ICALP.

[18]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

[19]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[20]  Rocco De Nicola,et al.  On the consistency of 'truly concurrent' operational and denotational semantics , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[21]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[22]  A. W. Roscoe,et al.  An Improved Failures Model for Communicating Processes , 1984, Seminar on Concurrency.

[23]  Gordon D. Plotkin,et al.  An operational semantics for CSO , 1980, Logic of Programs.