CiteSeerX — Related by cluster: Bialgebraic methods in structural operational semantics

Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

[www.cse.unsw.edu.au]

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