Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

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

Document Versions

Bialgebraic methods in structural operational semantics –Bartek Klin — 2007 — ENTCS
Bialgebraic methods in structural operational semantics –Invited Talk, Bartek Klin — 2007 — ENTCS