A foundation for higher-order concurrent constraint programming
From MaRDI portal
Publication:5096300
DOI10.1007/BFb0016844zbMath1495.68044MaRDI QIDQ5096300
Publication date: 16 August 2022
Published in: Constraints in Computational Logics (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
On concurrent behaviors and focusing in linear logic, Dynamic spaces in concurrent constraint programming, A closer look at constraints as processes, On subexponentials, focusing and modalities in concurrent systems, Slicing concurrent constraint programs, Constraints as processes, Operational semantics for declarative multi-paradigm languages, Proving concurrent constraint programming correct, revisited, Decoding choice encodings, Models and emerging trends of concurrent constraint programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conditional rewriting logic as a unified model of concurrency
- The chemical abstract machine
- A calculus of mobile processes. I
- A feature constraint system for logic programming with entailment
- Functions as processes
- Design, implementation, and evaluation of the constraint language cc(FD)
- Records for logic programming
