In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 507-524. Berlin, Germany: Springer-Verlag, 1990.
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. This document contains some parts of the original proposal, submitted 1988.
Keywords: CEDYSIS (parts of the original proposal); compositional distributed system.