Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
71--83
Opis fizyczny
bibliogr. 16 poz.
Twórcy
autor
- IRISA-IFSIC University of Rennes 1, Rennes, France, vschmitt@irisa.fr
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0003-0020