Truly concurrent constraint programming

DOI10.1007/3-540-61604-7_65zbMath1515.68206OpenAlexW2107759579MaRDI QIDQ6104382

Vineet Gupta, Vijay Saraswat, Radha Jagadeesan

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_65

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A general theory of action languages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• Modeling concurrency with partial orders
• Domain theory in logical form
• Power domains
• Testing equivalences for processes
• A Powerdomain Construction

This page was built for publication: Truly concurrent constraint programming