Coalgebra, concurrency and control (1991)

by J Rutten
Venue:Research Report SEN-9921, Centrum Wiskunde & Informatica (CWI