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

• A logic for default reasoning
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• 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

(22)

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

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)