Monoid-labeled transition systems (0)

by H Peter Gumm, Tobias Schröder
Venue:Electr. Notes Theor. Comput. Sci