Models for concurrent constraint programming

DOI10.1007/3-540-61604-7_48zbMATH Open1514.68167OpenAlexW1505332891MaRDI QIDQ6104366FDOQ6104366

Radha Jagadeesan, Vineet Gupta, 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

Recommendations

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

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Statecharts: a visual formalism for complex systems
• A logic for default reasoning
• Hybrid systems
• Title not available (Why is that?)
• Hybrid dynamical systems theory and the Signal language

Cited In (10)

• Title not available (Why is that?)
• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• Confluence in concurrent constraint programming
• Constraints for polymorphic behaviours of concurrent ML
• Title not available (Why is that?)
• A modeling layer for constraint-programming libraries
• Title not available (Why is that?)
• An equational modeling of asynchronous concurrent programming
• Truly concurrent constraint programming
• Demand transformation analysis for concurrent constraint programs

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)