A process algebra for Synchronous Concurrent Constraint Programming

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 Lubos GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír
Rok publikování	1996
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ů