The tccp Interpreter
From MaRDI portal
Publication:5170191
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Bridging the Gap between Two Concurrent Constraint Languages ⋮ tccp ⋮ Models and emerging trends of concurrent constraint programming
Uses Software
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