Informace o publikaci

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

Autoři

BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

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:

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

Další info