Process expressions and Hoare's logic
Alban Ponse · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1989
The Cer.tre for Mathematics and Computer Science is a research institute of the St1 chtmg Mathematisch Centrum, which was founded on February 11 , 1946, as a nonprofit institution aiming at the promotion of mathematics, computer science, and their applications.It is sponsored by the Dutch Government through the Netherlands Organization for the Advancement of Research (N.W.0.).