Well-behaved translations between structural operational semantics (2002)

View PDF

Download Links

by Hiroshi Watanabe
Venue:quasi-upper set, 52 readiness-aware relation, 53 ready CONCEPT INDEX 149 equivalence
Citations:6 - 0 self