European Workshop on Applications and Theory in Petri Nets

APN 1988: Advances in Petri Nets 1989 pp 507-524

CEDISYS compositional distributed systems state of the art, research goals, references

  • Ugo Montanari
Conference paper

DOI: 10.1007/3-540-52494-0_44

Volume 424 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Montanari U. (1990) CEDISYS compositional distributed systems state of the art, research goals, references. In: Rozenberg G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly