Processes as terms: Non-well-founded models for bisimulation (1992)

by J J M M Rutten
Venue:Math. Struct. Comp. Sci