A framework for timed concurrent constraint programming with external functions
DOI10.1016/J.ENTCS.2007.05.043zbMATH Open1278.68066DBLPjournals/entcs/AlpuenteGV07OpenAlexW1993216971WikidataQ57978212 ScholiaQ57978212MaRDI QIDQ2867965FDOQ2867965
Authors: A. Villanueva, María Alpuente, Bernhard Gramlich 
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.043
Recommendations
- scientific article; zbMATH DE number 1497788
- Timed default concurrent constraint programming
- Lectures on Concurrency and Petri Nets
- scientific article; zbMATH DE number 2084713
- scientific article; zbMATH DE number 2087501
- scientific article; zbMATH DE number 2084776
- A symbolic model for timed concurrent constraint programming
- A timed concurrent constraint language.
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Decidability of infinite-state timed CCP processes and first-order LTL
- A timed concurrent constraint language.
- Automatic verification of timed concurrent constraint programs
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Title not available (Why is that?)
- Logic programming in the context of multiparadigm programming: the Oz experience
- A framework for timed concurrent constraint programming with external functions
- Title not available (Why is that?)
Cited In (5)
Uses Software
This page was built for publication: A framework for timed concurrent constraint programming with external functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867965)
