About Hesselink, Wim H.
Hesselink, Wim H.- University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.
