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

Varování

Publikace nespadá pod Ekonomicko-správní 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ů