A process algebra for synchronous concurrent constraint programming

DOI10.1007/3-540-61735-3_11MaRDI QIDQ2956720zbMATH OpenOpenAlexFDO

Authors Luboš Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Křetínský

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL http://bura.brunel.ac.uk/handle/2438/2989

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 826300
• Models for concurrent constraint programming
• scientific article; zbMATH DE number 1638652
• Truly concurrent constraint programming
• scientific article; zbMATH DE number 1332633

Cited in

(11)

• A congruence rule format for name-passing process calculi
• A general theory of action languages
• A fully abstract model for the exchange of information in multi-agent systems.
• A truly concurrent semantics for a process algebra using resource pomsets
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• Process algebra having inherent choice: revised semantics for concurrent systems
• Process Algebra Modelling Styles for Biomolecular Processes
• scientific article; zbMATH DE number 2172791 (Why is no real title available?)
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

This page was built for publication: A process algebra for synchronous concurrent constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956720)