Special issue: Structural operational semantics. Revised and extended papers presented at second SOS 2005 workshop, July 10, 2005, Lisbon, Portugal.

From MaRDI portal
Publication:875229