Abstract
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.
Get full access to this article
View all access options for this article.