scientific article

zbMath1273.03102MaRDI QIDQ2851320

Stephen Brookes

Publication date: 10 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001629

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Fairness, Resources, and Separation ⋮ Syntactic Control of Interference and Concurrent Separation Logic ⋮ A Higher-Order Logic for Concurrent Termination-Preserving Refinement ⋮ A Revisionist History of Concurrent Separation Logic ⋮ Concurrent Separation Logic and Operational Semantics

This page was built for publication: