Bialgebras for structural operational semantics: an introduction (2011)

by Bartek Klin
Venue:Theoretical Computer Science