The origins of structural operational semantics (2004)

Cached

Download Links

by Gordon D. Plotkin
Venue:Journal of Logic and Algebraic Programming
Citations:64 - 0 self