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
• 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
• 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ů