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

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.