scientific article
From MaRDI portal
Publication:3667934
zbMath0518.68020MaRDI QIDQ3667934
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial correctnessweakest preconditiondistributed programmingsequential programmingmaster-slave communication mechanismminimum specificationoverall specification
Related Items (3)
Generalised rely-guarantee concurrency: an algebraic foundation ⋮ Assumption-Commitment Support for CSP Model Checking ⋮ Assumption-commitment support for CSP model checking
This page was built for publication: