Towards a Mathematical Operational Semantics (1997)

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