Process Algebra with Asynchronous Communication Mechanisms

[1]  Jan L. A. van de Snepscheut,et al.  Trace Theory and VLSJ Design , 1985, Lecture Notes in Computer Science.

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

[3]  Robert de Simone,et al.  On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions , 1984, Theor. Comput. Sci..

[4]  Gérard Boudol,et al.  Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..

[5]  George J. Milne,et al.  Circal: A calculus for circuit description , 1983, Integr..

[6]  Willem P. de Roever,et al.  Real-time programming and asynchronous message passing , 1983, PODC '83.

[7]  Stephen D. Brookes,et al.  On the Relationship of CCS and CSP , 1983, ICALP.

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

[9]  Stephen D. Brookes,et al.  Behavioural Equivalence Relations Induced by Programming Logics , 1983, ICALP.

[10]  Jan A. Bergstra,et al.  Algebraic Tools for System Construction , 1983, Logic of Programs.

[11]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[12]  Jan A. Bergstra,et al.  Process algebra for communication and mutual exclusion , 1983 .

[13]  M Martin Rem,et al.  Partially ordered computations, with applications to VLSI-design , 1983, FOCS 1983.

[14]  Jan Willem Klop,et al.  A process algebra for the operational semantics of static data flow networks , 1983 .

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

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

[17]  J. W. de Bakker,et al.  Denotational semantics of concurrency , 1982, STOC '82.

[18]  Georges Louis,et al.  An Analytical Description of CHILL, the CCITT High Level Language , 1982, Lecture Notes in Computer Science.

[19]  Willem P. de Roever,et al.  Fairness Assumptions for CSP in a Temporal Logic Framework , 1982, Formal Description of Programming Concepts.

[20]  Matthew Hennessy,et al.  A Term Model for Synchronous Processes , 1981, Inf. Control..

[21]  William B. Ackerman,et al.  Scenarios: A Model of Non-Determinate Computation , 1981, ICFPC.

[22]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

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

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

[25]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[26]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[27]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.