scientific article
From MaRDI portal
Publication:3702497
zbMath0579.68011MaRDI QIDQ3702497
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Axiomatizing recursion-free, regular monitors ⋮ Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) ⋮ A linear-history semantics for languages for distributed programming ⋮ The incompleteness of Misra and Chandy's proof systems