A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

• Authors: BRIM Luboš; JACQUET Jean-Marie; GILBERT David; KŘETÍNSKÝ Mojmír
• Year of publication: 1999
• Type: Article in Periodical
• Magazine / Source: FI MU Report Series
• MU Faculty or unit: Faculty of Informatics
• Web: http://www.fi.muni.cz/informatics/reports/
• Field: Computer hardware and software
• Keywords: concurrent constraint programming; semantics; synchronny; concurrency

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing