CR-structures

• Autorzy: Schmitt V.
• Języki publikacji: EN

Abstrakty

EN

In this paper CR-structures are introduced. They consist of a slight generalization of general event structures, 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. This results also generalizes Droste's characterization of domains of configurations of general event structures.

Słowa kluczowe

EN

event structures; CR-structures; domains; concurrent automata

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 33, nr 1
• Strony: 71--83
• Opis fizyczny: bibliogr. 16 poz.

Twórcy

autor

Schmitt V.

• IRISA-IFSIC University of Rennes 1, Rennes, France,