scientific article; zbMATH DE number 2090146
From MaRDI portal
Publication:4808839
zbMath1064.68534MaRDI QIDQ4808839
No author found.
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910350.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Splitting atoms safely ⋮ Inter-process buffers in separation logic with rely-guarantee ⋮ Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification ⋮ Explanation of two non-blocking shared-variable communication algorithms ⋮ Elucidating concurrent algorithms via layers of abstraction and reification
Uses Software
Cites Work