DMCA

Bialgebras for Structural Operational Semantics: an Introduction (2011)

by Bartek Klin
Citations:21 - 2 self