scientific article; zbMATH DE number 1956564
From MaRDI portal
Publication:4417904
zbMath1032.68130MaRDI QIDQ4417904
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180348.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models ⋮ On Rely-Guarantee Reasoning ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Verifying a concurrent garbage collector using a rely-guarantee methodology ⋮ Compositional verification of a communication protocol for a remotely operated aircraft ⋮ CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs ⋮ Proving linearizability with temporal logic ⋮ Verifying a concurrent garbage collector with a rely-guarantee methodology
Uses Software
This page was built for publication:
