histories, graphs: Instances of a process monoid (1984)

by A Mazurkiewicz, “Traces
Venue:Proc. Conf. on Math. Foundations of CS, LNCS, v. 176