Deterministic buffer synchronization of sequential processes

SummaryCo-operation of sequential processes is one of the most widely known organization principles for distributed systems. We shall consider the class of those systems of sequential processes which communicate deterministically by means of buffers and discuss proof rules to decide whether or not deadlocks can occur in a given system of this type.

[1]  Jack B. Dennis,et al.  Concurrency in Software Systems , 1972, Advanced Course: Software Engineering.

[2]  Eric G. Manning,et al.  Interprocess Communication in Distributed Systems: One View , 1980, IFIP Congress.

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

[4]  Abraham Silberschatz,et al.  Comments on “Communicating Sequential Processes” , 1979, TOPL.

[5]  Jørgen Staunstrup,et al.  Message passing communication versus procedure call communication , 1982, Softw. Pract. Exp..

[6]  Friedrich L. Bauer.  Software Engineering , 1975, Lecture Notes in Computer Science.

[7]  Stephen J. Garland,et al.  Program Schemes, Recursion Schemes, and Formal Languages , 1973, J. Comput. Syst. Sci..

[8]  Peter E. Lauer,et al.  Verification of Concurrent Systems of Processes , 1977, International Computing Symposium.

[9]  Joep L. W. Kessels,et al.  The Soma: A Programming Construct for Distributed Processing , 1981, IEEE Transactions on Software Engineering.

[10]  C. A. R. Hoare.  A Calculus of Total Correctness for Communicating Processes , 1981, Sci. Comput. Program..

[11]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[12]  W. Morven Gentleman,et al.  Message passing between sequential processes: The reply primitive and the administrator concept , 1981, Softw. Pract. Exp..

[13]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[14]  J. Robert Jump,et al.  On Functional Equivalences in a Model for Parallel Computation , 1979, Inf. Control..

[15]  Wilfried Brauer.  Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979 , 1980, Advanced Course: Net Theory and Applications.

[16]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[17]  A. Nico Habermann.  Synchronization of communicating processes , 1971, SOSP '71.

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

[19]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[20]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[21]  Per Brinch Hansen,et al.  Concurrent Programming Concepts , 1973, CSUR.

[22]  Otthein Herzog.  Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets , 1979, Semantics of Concurrent Computation.