A New Equivalence for Processes with Timing With an Application to Protocol Verification (2002)

by J.C.M. Baeten , C. A. Middelburg , M.A. Reniers
Venue:Department of Mathematics and Computer Science, Eindhoven University of Technology
Citations:5 - 3 self