W. P. de Roever
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The quest for compositionality: A survey of assertion-based proof systems for concurrent programs
W. P. de Roever (1985) · Formal Models in Programming, Proceedings of the IFIP Working Conference · North-Holland
Real-time programming and asynchronous message passing
R. Koymans and others (1983) · ACM Press
A proof rule for fair termination of guarded commands
O. Grumberg and others (1981) · Algorithmic Languages · North-Holland
A calculus for recursive program schemes
J. W. de Bakker and others (1973) · Automata, Languages and Programming · North-Holland