Operational semantics of concurrent logical systems.

Varování

Publikace nespadá pod Pedagogickou 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í	1993
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Analýza konkurentních nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů