Olsder G.J., Quadrat J.P., Synchronization and linearity. An algebra for discrete event systems (1992)

by F L Baccelli, G Cohen