A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

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š JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír
Rok publikování	1999
Druh	Článek v odborném periodiku
Časopis / Zdroj	FI MU Report Series
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.fi.muni.cz/informatics/reports/
Obor	Počítačový hardware a software
Klíčová slova	concurrent constraint programming; semantics; synchronny; concurrency
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ů