CR-Structures

Article type: Research Article

Authors: Schmitt, Vincent

Affiliations: IRISA-IFSIC, University of Rennes 1 Rennes, France. email [email protected]

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].

Keywords: Event structures, CR-structures, domains, concurrent automata

DOI: 10.3233/FI-1998-33104

Journal: Fundamenta Informaticae, vol. 33, no. 1, pp. 71-83, 1998