Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P

Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625

Authors: HOARE CAR

Citation: Car. Hoare, THE LOGIC OF ENGINEERING DESIGN (REPRINTED FROM THE UNIFIED THEORIES OF PROGRAMMING, 1997), Microprocessing and microprogramming, 41(8-9), 1996, pp. 525-539

Authors: VONKARGER B HOARE CAR

Citation: B. Vonkarger et Car. Hoare, SEQUENTIAL CALCULUS, Information processing letters, 53(3), 1995, pp. 123-130

Authors: HOARE CAR HE JF SAMPAIO A

Citation: Car. Hoare et al., NORMAL-FORM APPROACH TO COMPILER DESIGN, Acta informatica, 30(8), 1993, pp. 701-739