Authors: FOKKINK W KLUSENER S

Citation: W. Fokkink et S. Klusener, AN EFFECTIVE AXIOMATIZATION FOR REAL-TIME ACP, Information and computation, 122(2), 1995, pp. 286-299