Models for concurrent constraint programming

DOI10.1007/3-540-61604-7_48MaRDI QIDQ6104366zbMATH OpenOpenAlexFDO

Authors Vineet Gupta, Radha Jagadeesan, Vijay Saraswat

Publication date 28 June 2023

Published in CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61604-7_48

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

• Truly concurrent constraint programming
• scientific article; zbMATH DE number 2085264
• Logic Programming
• Lectures on Concurrency and Petri Nets

Cites work

• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• A logic for default reasoning
• Hybrid dynamical systems theory and the Signal language
• Hybrid systems
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(18)

• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• Confluence in concurrent constraint programming
• scientific article; zbMATH DE number 2085264 (Why is no real title available?)
• Constraints for polymorphic behaviours of concurrent ML
• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• Dynamic spaces in concurrent constraint programming
• A foundation for higher-order concurrent constraint programming
• A modeling layer for constraint-programming libraries
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• Contextual occurrence nets and concurrent constraint programming
• Constraint-based concurrency and beyond
• An equational modeling of asynchronous concurrent programming
• Coordination via interaction constraints. I: Local logic
• Models and emerging trends of concurrent constraint programming
• Truly concurrent constraint programming
• A process algebra for synchronous concurrent constraint programming
• Demand transformation analysis for concurrent constraint programs
• Prototyping concurrent systems with agents and artifacts: framework and core calculus

This page was built for publication: Models for concurrent constraint programming

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