Bridging the gap between two concurrent constraint languages

DOI10.1007/978-3-642-20775-4_9MaRDI QIDQ3003518zbMATH OpenOpenAlexFDO

Authors Alexei Lescaylle, A. 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

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

Recommendations

• Lectures on Concurrency and Petri Nets
• A timed concurrent constraint language.
• Logic Programming
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2084713

Cites work

• A semantic framework for the abstract model checking of tccp programs
• A timed concurrent constraint language.
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• The \textsf{tccp} interpreter

Cited in

(1)

• Models and emerging trends of concurrent constraint programming

Describes a project that uses

Uses Software

• LUSTRE
• tccp

This page was built for publication: Bridging the gap between two concurrent constraint languages

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