Bridging the Gap between Two Concurrent Constraint Languages

DOI10.1007/978-3-642-20775-4_9zbMath1327.68056OpenAlexW1485522136MaRDI QIDQ3003518

Alexei Lescaylle, Alicia Villanueva

Publication date: 27 May 2011

Published in: Functional and Constraint Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20775-4_9

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Models and emerging trends of concurrent constraint programming

Uses Software

• LUSTRE
• tccp

Cites Work

• A timed concurrent constraint language.
• A semantic framework for the abstract model checking of tccp programs
• The tccp Interpreter
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bridging the Gap between Two Concurrent Constraint Languages