Reverse Exchange for Concurrency and Local Reasoning

DOI10.1007/978-3-642-31113-0_10zbMath1358.68063OpenAlexW144602492MaRDI QIDQ2908566

Han-Hing Dang, Bernhard Möller

Publication date: 5 September 2012

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

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58762

zbMATH Keywords

relational semanticslocalitytrue concurrencyHoare logicconcurrent separation logicframe rule

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70)

Related Items (4)

The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Exploring modal worlds ⋮ Modal algebra and Petri nets ⋮ Extended transitive separation logic

This page was built for publication: Reverse Exchange for Concurrency and Local Reasoning