A syntactic commutativity format for SOS (2005)

by M R Mousavi, M A Reniers, J F Groote
Venue:Information Processing Letters