Roever, Willem Paul de (1943-)
Ook Willem-Paul, W.-P. en Willem-P.
| rdfs:label | "Roever, Willem Paul de (1943-)" |
| schema:name | "Willem Paul de Roever" |
|
schema:family |
"de Roever" |
|
schema:given |
"Willem Paul" |
| schema:description | "Ook Willem-Paul, W.-P. en Willem-P." |
|
schema:birth |
"1943" |
|
schema:same |
<http:/ |
|
<https:/ |
|
| wd:Q102243214 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Roever, Willem Paul de (1943-)
Operational and mathematical semantics for recursive polyadic program schemata / [by] W. P. de Roever ; extended abstractschema:ProductModel
Recursion and parameter mechanisms : an axiomatic approach / [by] W. P. de Roeverschema:ProductModel
Recursive program schemes : semantics and proof theory / door Willem Paul de Roever Jrschema:ProductModel
Recursive program schemes : semantics and proof theory / W.P. de Roever, Jrschema:ProductModel
Recursive program schemes : semantics and proof theory / Willem Paul de Roever Jrschema:ProductModel
The cooperation test : a syntax-directed verification method / by Willem P. de Roeverschema:ProductModel
[ .. ] → schema:contributor → Roever, Willem Paul de (1943-)
A correctness proof of a distributed minimum-weight spanning tree algorithm / F.A. Stomp, W.P. de Roeverschema:ProductModel
A formalization of sequentially phased intuition in network protocols (extended abstract) / F.A. Stomp, W.P. de Roeverschema:ProductModel
A note on compositional refinement / by J. Coenen, J. Zwiers, W.-P. de Roeverschema:ProductModel
Assertional data reification proofs: survey and perspective / by J. Coenen, W.-P. de Roever, J. Zwiersschema:ProductModel
Designing distributed algorithms by means of formal sequentially phased reasoning / F.A. Stomp, W.P. de Roeverschema:ProductModel
Fairness assumptions for CSP in a temporal logic framework / P. Kuiper & W.P. de Roeverschema:ProductModel
Program derivation through transformations : the evolution of list-copying algorithms / N.W.P. van Diepen, W.P. de Roeverschema:ProductModel
The quest goes on : a survey of proofsystems for partial correctness of CSP / by Jozef Hooman and Willem-P. de Roeverschema:ProductModel
The quest goes on : a survey of proofsystems for partial correctness of CSP / Jozef Hooman, Willem-P. de Roeverschema:ProductModel