No. 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics

Published: 2005-01-08