CEDISYS: Compositional Distributed Systems - State of the art, research goals, references

The Basic Research Action No 3011 CEDISYS is funded in the Area of Computer Science, under the ESPRIT Programme of the European Communities. The coordinating institution is the Computer Science Department, University of Pisa, Italy, and the participating institutions are the Computer Science Department, Aarhus University, Denmark, the INRIA Sophia-Antipolis, France, and the Computer Science Department, Sussex University, England. This document contains some parts of the original proposal, submitted in June, 1988. Both the summary of the state of the art and the list of references are manifestly incomplete with respect to the work of others. However, we feel that this document might be of interest to a wider audience in the area of concurrency.

[1]  Colin Stirling.  A Proof-Theoretic Characterization of Observational Equivalence , 1985, Theor. Comput. Sci..

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

[3]  Roberto Gorrieri,et al.  A²CCS: A Simple Extension of CCS for Handling Atomic Actions , 1988, CAAP.

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

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

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

[7]  A. Mazurkiewicz.  Concurrent Program Schemes and their Interpretations , 1977 .

[8]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

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

[10]  P. T. Johnstone,et al.  A syntactic approach to Diers' localizable categories , 1979 .

[11]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..

[12]  Pierre Wolper,et al.  A temporal logic for reasoning about partially ordered computations (Extended Abstract) , 1984, PODC '84.

[13]  Ilaria Castellani.  Bisimulations and Abstraction Homomorphisms , 1987, J. Comput. Syst. Sci..

[14]  Howard Barringer.  The use of temporal logic in the compositional specification of concurrent systems , 1987 .

[15]  José Meseguer,et al.  Petri nets are monoids: a new algebraic foundation for net theory , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[16]  Edmund M. Clarke,et al.  Characterizing Finite Kripke Structures in Propositional Temporal Logic , 1988, Theor. Comput. Sci..

[17]  Y. Shoham.  What is the frame problem , 1987 .

[18]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[19]  Ugo Montanari,et al.  Specification Languages for Distributed Systems , 1985, TAPSOFT, Vol.1.

[20]  K. Lodaya,et al.  A Modal Logic for a Subclass of Event Structures , 1987 .

[21]  Ilaria Castellani,et al.  Concurrency and Atomicity , 1988, Theor. Comput. Sci..

[22]  Glynn Winskel,et al.  A category of labelled Petri nets and compositional proof system , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[23]  Roberto Gorrieri,et al.  An Exercise in Concurrency: a CSP Process as a Condition/ event System , 1988, European Workshop on Applications and Theory of Petri Nets.

[24]  Ugo Montanari,et al.  A model for distributed systems based on graph rewriting , 1987, JACM.

[25]  Ugo Montanari,et al.  Concurrent Histories: A Basis for Observing Distributed Systems , 1987, J. Comput. Syst. Sci..

[26]  Colin Stirling,et al.  Modal Logics for Communicating Systems , 1987, Theor. Comput. Sci..

[27]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[28]  Eugene W. Stark,et al.  Concurrent Transition Systems , 1989, Theor. Comput. Sci..

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

[30]  Matthew Hennessy,et al.  Distributed bisimulations , 1989, JACM.

[31]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[32]  Wolfgang Reisig,et al.  The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..

[33]  Glynn Winskel,et al.  Models and logic of MOS circuits , 1987 .

[34]  Rocco De Nicola,et al.  Observational equivalences for concurrency models , 1987, Formal Description of Programming Concepts.