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