Operational congruences for reactive systems (2001)

by J J Leifer
Venue:University of Cambridge Computer Laboratory