Layered concurrent programs
From MaRDI portal
Publication:6044999
DOI10.1007/978-3-319-96145-3_5zbMath1511.68062OpenAlexW2883180298MaRDI QIDQ6044999
Publication date: 26 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_5
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Verifying the correctness of distributed systems via mergeable parallelism ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing
This page was built for publication: Layered concurrent programs
