Proving correctness of timed concurrent constraint programs
From MaRDI portal
Publication:5277712
DOI10.1145/1024922.1024926zbMath1367.68189MaRDI QIDQ5277712
Maria Chiara Meo, Maurizio Gabbrielli, Frank S. de Boer
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1024922.1024926
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
Related Items
Models and emerging trends of concurrent constraint programming, A semantic framework for the abstract model checking of tccp programs