Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:31 - 4 self

Document Versions

Operational congruences for reactive systems –James Judi Leifer — 2001
Operational Congruences for Reactive Systems –James Judi Leifer — 2001