Towards a Mathematical Operational Semantics (1997)

by Daniele Turi , Gordon Plotkin
Venue:In Proc. 12 th LICS Conf
Citations:135 - 9 self