Transition systems without transitions

• Autorzy: Borzyszkowski A. M. , Darondeau P.

Warianty tytułu

PL

Systemy tranzycji bez tranzycji

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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

EN

2-structures; transition systems; elementary systems

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2003
• Tom: Nr 964
• Strony: 1--7
• Opis fizyczny: Bibliogr. 4 poz., rys.

Twórcy

autor

Borzyszkowski A. M.

• Institute of Computer Science, Gdańsk Branch, Polish Acad. of Sc. Abrahama18, 81-825 Sopot, Poland

autor

Darondeau P.

• 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.