Jonathan S. Golan Alexandru Mateescu Dragos Vaida Semirings and Parallel Composition of Processes. 199-218 1996 1 Journal of Automata, Languages and Combinatorics 3 db/journals/jalc/jalc1.html#GolanMV96