A syntactic commutativity format for SOS (2005)

Cached

Download Links

by Mohammadreza Mousavi , Michel Reniers , Jan Friso Groote
Venue:Information Processing Letters
Citations:5 - 4 self