Coordination by means of Synchronous and Asynchronous Communication in 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í	2002
Druh	Článek ve sborníku
Konference	Foundations of Coordination Languages and Software Architecture (FOCLASA`02)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
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ů