Coalgebra, concurrency, and control (1999)

by J J M M Rutten
Venue:Research Report CWI, SEN-R9921