Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: CR-structures

Sortuj według:

Ogranicz wyniki do:

CR-structures

Schmitt V.

Fundamenta Informaticae

1998

Vol. 33, nr 1

71-83

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.