Deriving denotational models for bisimulation from structured operational semantics, in (1990)

by J J M M Rutten
Venue:Proc. IFIP Working Group 2.2/2.3 Working Conference