Synchronization and linearity: an algebra for discrete event systems (2001)

by François Baccelli, Guy Cohen, Geert Jan Olsder, Jean-Pierre Quadrat