Monoid-labeled transition systems (2001)

by H P Gumm, T Schröder
Venue:Electr. Notes Theor. Comput. Sci