Synchronization and linearity : an algebra for discrete event systems /
Baccelli, F. H.
Chichester : Wiley,
1992.