Abstract
In this paper CR-structures are introduced. They consist of a slight generalization of general event structures [16], and supply a representation theorem for concurrency domains, – which are called here CR-domains for short. We recall that the latter domains are exactly the unfoldings of concurrent automata [7],[3]. This result also generalizes Droste's characterization of domains of configurations of general event structures [6].
Get full access to this article
View all access options for this article.