Vector Controlled Concurrent Systems, Part II: Comparisons
N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg · Fundamenta Informaticae · 1991
In this paper the behaviour of models of concurrent systems introduced in [KeeKleRoz] 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.