Adequacy of compositional translations for observational semantics (2008)

by Manfred Schmidt-Schauß , Joachim Niehren , Jan Schwinghammer , David Sabel
Venue:INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE
Citations:9 - 7 self