Proving correctness of timed concurrent constraint programs

DOI10.1145/1024922.1024926zbMath1367.68189OpenAlexW2030368531MaRDI 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

zbMATH Keywords

temporal logicconstraintsconcurrencyreactive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (2)

A semantic framework for the abstract model checking of tccp programs ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: Proving correctness of timed concurrent constraint programs