Adequacy of compositional translations for observational semantics (2008)

by M Schmidt-Schauß, J Niehren, J Schwinghammer, D Sabel
Venue:in: 5th IFIP TCS 2008