Vector Controlled Concurrent Systems Part I: Basic Classes
N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg · Fundamenta Informaticae · 1990
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.