The tccp Interpreter

DOI10.1016/j.entcs.2009.12.005zbMath1294.68047OpenAlexW2091847238MaRDI QIDQ5170191

Alexei Lescaylle, Alicia 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

Related Items (3)

Bridging the Gap between Two Concurrent Constraint Languages ⋮ tccp ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• JavaFAN
• Maude

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• A semantic framework for the abstract model checking of tccp programs
• Computer Aided Verification
• Automatic verification of timed concurrent constraint programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The tccp Interpreter