scientific article
From MaRDI portal
Publication:3731019
zbMath0597.68024MaRDI QIDQ3731019
J. J. M. Hooman, Willem Paul de Roever
Publication date: 1986
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 (7)
A compositional proof system for distributed programs ⋮ A proof system for asynchronously communicating deterministic processes ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ A Bibliography of Willem-Paul de Roever ⋮ An introduction to compositional methods for concurrency and their application to real-time. ⋮ Fifty years of Hoare's logic ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
This page was built for publication:
