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].
['Vincent Schmitt']
CR-Structures