Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

CR-structures

Szczegóły
Abstrakt

Tytuł:: CR-structures
Autorzy:: Schmitt, V.
Data publikacji:: 1998
Słowa kluczowe:: event structures
CR-structures
domains
concurrent automata
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

CR-structures