Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:36 - 3 self