Research indexJournal article
Vector Controlled Concurrent Systems Part I: Basic Classes
Keesmaat, Kleijn, Rozenberg
Fundamenta Informaticae1 Jul 1990
Journal article
Vector Controlled Concurrent Systems Part I: Basic Classes
Keesmaat, Kleijn, Rozenberg · Fundamenta Informaticae · 1990 · Subscription
PaywalledRead at the publisher
The full text is at the publisher
You can read the abstract here, or open it at the publisher.
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.