Towards a Mathematical Operational Semantics (1997)

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

Document Versions

Towards a Mathematical Operational Semantics –Daniele Turi, Gordon Plotkin — 1997 — In Proc. 12 th LICS Conf
Towards a mathematical operational semantics –Daniele Turi — 1997 — In Proc. 12 th LICS Conf