×

zbMATH — the first resource for mathematics

Vector controlled concurrent systems. II: Comparisons. (English) Zbl 0718.68036
Summary: The behaviour of models of concurrent systems introduced in N. W. Keesmaat, H. C. M. Kleijn, G. Rozenberg, Vector Controlled Concurrent Systems Part I, Basic Classes (to appear)] is investigated. In particular
(i) static and dynamic models are compared and
(ii) the effect of restricting the sequential components to be regular is considered.

MSC:
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDF BibTeX XML Cite