Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Systemy tranzycji bez tranzycji
Języki publikacji
Abstrakty
We study the problem of embedding partial 2-structures into set 2-structures such that the target substructure is full and forward closed and it is minimal w.r.t. these properties.
Badamy problem takiego zanurzenia częściowej 2-struktury w 2-strukturę zbiorową, by docelowa 2-struktura była pełna, domknięta w przód i minimalna względem tych własności.
Słowa kluczowe
Wydawca
Rocznik
Tom
Strony
1--7
Opis fizyczny
Bibliogr. 4 poz., rys.
Twórcy
autor
- Institute of Computer Science, Gdańsk Branch, Polish Acad. of Sc. Abrahama18, 81-825 Sopot, Poland
autor
- IRISA, campus de Beaulieu, F35042 Rennes Cedex
Bibliografia
- 1. Luca Bernardinello and Carlo Ferrigato and Lucia Pomello. An algebraic model of observable properties in distributed systems. Theoretical Computer Science, 290:637-668, 2003.
- 2. Andrzej Ehrenfeucht and Grzegorz Rozenberg. Partial (set) 2-structures, part I. Acta Informática, 27(4):315-342, 1990.
- 3. Andrzej Ehrenfeucht and Grzegorz Rozenberg. Partial (set) 2-structures, part II. Acta Informática, 27(4):343- 368, 1990.
- 4. Mogens Nielsen and Grzegorz Rozenberg and P.S. Thiagarajan. Elementary Transition Systems. Theoretical Computer Science, 96(l):3-33, 1992.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ5-0053-0003