A fully abstract semantics for synchronous and asynchronous ccp

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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ů