Separation Logic and Concurrency
From MaRDI portal
Publication:3557673
DOI10.1007/978-1-84882-736-3_7zbMath1200.68066MaRDI QIDQ3557673
Publication date: 23 April 2010
Published in: Formal Methods: State of the Art and New Directions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-84882-736-3_7
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)