Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming

Varování

Publikace nespadá pod Filozofickou 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í	2003
Druh	Článek v odborném periodiku
Časopis / Zdroj	Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.elsevier.nl/locate/entcs
Obor	Informatika
Klíčová slova	coordination; concurrent constraint programming; semantics; communication
Popis	We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to the operational semantics and fully abstract as well.
Související projekty:	Nekonečně stavové souběžné systémy - modely a verifikace Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů