Vector Controlled Concurrent Systems Part I: Basic Classes

Article type: Research Article

Authors: Keesmaat, N.W.^{; *} | Kleijn, H.C.M. | Rozenberg, G.

Affiliations: University of Leiden, Department of Computer Science, P.O. Box 9512, 2300 RA Leiden, Netherlands

Note: [*] The work of this author has been supported by the Netherlands Organization for Scientific Research (N.W.O.).

Abstract: A model of concurrent systems, called Vector Controlled Concurrent Systems, is introduced. It generalizes the vector synchronization mechanism used in path expressions (COSY). In this first part of the paper, which consists of two parts, the basic model is introduced and motivated, and then a distinction is made between static and dynamic submodels.

DOI: 10.3233/FI-1990-13305

Journal: Fundamenta Informaticae, vol. 13, no. 3, pp. 275-316, 1990