Full Abstraction in Structural Operational Semantics (Extended Abstract) (1993)

Cached

Download Links

by Rob Van Glabbeek
Venue:Proceedings 3rd Conference on Algebraic Methodology and Software Technology (AMAST'93), Enschede, Workshops in Computing
Citations:19 - 3 self