A process algebra for Synchronous Concurrent Constraint Programming

• Authors: BRIM Lubos; GILBERT David; JACQUET Jean-Marie; KŘETÍNSKÝ Mojmír
• Year of publication: 1996
• Type: Chapter of a book
• MU Faculty or unit: Faculty of Informatics

Related projects

• Analysis of Concurrent Infinite State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing