A Congruence Theorem for Structured Operational Semantics With Predicates (1993)

Cached

Download Links

by J.C.M. Baeten , C. Verhoef
Citations:109 - 5 self