Substitution in Structural Operational Semantics and value-passing process calculi

by Sam Staton
Citations:1 - 0 self