A fully abstract semantics for synchronous and asynchronous ccp

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRIM Luboš GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír
Rok publikování	1998
Druh	Článek v odborném periodiku
Časopis / Zdroj	Technical Report of Namur University
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	concurrency constraint semantics
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů