Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

by Bartek Klin
Venue:ENTCS
Citations:5 - 1 self