A new equivalence for processes with timing : with an application to protocol verification

Rapport

Baeten, J.C.M., Middelburg, C.A. & Reniers, M.A. (2000). A new equivalence for processes with timing : with an application to protocol verification. (Logic Group Preprint Series, No. 215). Utrecht: Utrecht University, 22 pp. Lees meer: Medialink/Full text

Abstract