Publication:3922147
From MaRDI portal
zbMath0468.68026MaRDI QIDQ3922147
Amir Pnueli, Jonathan Stavi, Daniel J. Lehmann
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
Trapping mutual exclusion in the box calculus, On the logic of UNITY, Completing the temporal picture, A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic, The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\), \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems, Strong fairness and ultra metrics, Verification of distributed programs using representative interleaving sequences, Proving partial order properties, A methodology for designing proof rules for fair parallel programs