Well-behaved translations between structural operational semantics (2002)

Cached

Download Links

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