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í: 2002
• Druh: Článek ve sborníku
• Konference: Foundations of Coordination Languages and Software Architecture (FOCLASA`02)
• Fakulta / Pracoviště MU: Fakulta informatiky
• 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ů