Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs

DOI10.1007/978-3-319-06880-0_8zbMath1407.68332OpenAlexW1554772415MaRDI QIDQ5418961

Maurizio Gabbrielli, Frank S. de Boer

Publication date: 2 June 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06880-0_8

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs