A fully abstract semantics for synchronous and asynchronous ccp

• Authors: BRIM Luboš; GILBERT David; JACQUET Jean-Marie; KŘETÍNSKÝ Mojmír
• Year of publication: 1998
• Type: Article in Periodical
• Magazine / Source: Technical Report of Namur University
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: concurrency constraint semantics

Related projects

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