Controllers for Discrete Event Systems via Morphisms.

P. Madhusudan, P. S. Thiagarajan

Browse the full CONCUR paper archive.