Available at URL http://www.cwi.nl. Extended abstract in (1999)

by J J M M Rutten, concurrency Coalgebra, andcontrol
Venue:R. Boel, G. Stremersch (Eds.), Discrete Event Systems, Kluwer