The \textsf{tccp} interpreter

DOI10.1016/J.ENTCS.2009.12.005MaRDI QIDQ5170191zbMATH OpenOpenAlexFDO

Authors Alexei Lescaylle, A. Villanueva

Publication date 22 July 2014

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.2009.12.005

zbMATH Keywords

Maudetimed concurrent constraint languagetool demonstration

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lectures on Concurrency and Petri Nets
• A timed concurrent constraint language.
• A framework for timed concurrent constraint programming with external functions
• Abstract model checking of \textsf{tccp} programs
• Logic Programming

Cites work

• A semantic framework for the abstract model checking of tccp programs
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Automatic verification of timed concurrent constraint programs
• Computer Aided Verification
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• scientific article; zbMATH DE number 1973990 (Why is no real title available?)

Cited in

(4)

• A timed concurrent constraint language.
• Models and emerging trends of concurrent constraint programming
• Bridging the gap between two concurrent constraint languages
• tccp

Describes a project that uses

Uses Software

• Maude
• JavaFAN

This page was built for publication: The \textsf{tccp} interpreter

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