Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

GRUSKA, Jozef a I. GUESSARIAN. Fix-point semantics of synchronized systems and correctness of their basic transformationsa. In Procedings of IFIP Congress´94,INFORMATION PROCESSING´94. Hamburg: IFIP, 1994, s. 213-234.

Základní údaje

Originální název

Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

Autoři

GRUSKA, Jozef a I. GUESSARIAN

Vydání

Hamburg, Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, s. 213-234, 1994

Nakladatel

IFIP

---

Další údaje

Jazyk

angličtina

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Obor

20206 Computer hardware and architecture

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/94:00000050

Organizační jednotka

Fakulta informatiky

---

Návaznosti

MSM 143300001, záměr

Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů