Adding Time via Timed Transitions to 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 Luboš GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír
Rok publikování	1997
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
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ů