scientific article
From MaRDI portal
Publication:3347278
zbMath0558.68023MaRDI QIDQ3347278
Arie de Bruin, Job Zwiers, Willem Paul de Roever
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticspartial correctnessmodular specificationsdynamically changing networkformal proof system for the partial correctness of dynamic CSP programs
Related Items
Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency, Semantic models of a timed distributed dataspace architecture, A Bibliography of Willem-Paul de Roever