scientific article; zbMATH DE number 7281356
From MaRDI portal
Publication:5137886
zbMath1448.68132MaRDI QIDQ5137886
Bryan Olivier, Denis Roegel, Peter B. Ladkin, Leslie Lamport
Publication date: 3 December 2020
Full work available at URL: https://link.springer.com/article/10.1007/s004460050063
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Temporal logic (03B44)
Related Items (3)
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos ⋮ Universal extensions to simulate specifications ⋮ Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
This page was built for publication:
