Syntactic formats for free: An abstract approach to process equivalence (2003)

by Bartek Klin
Venue:in: Proc. CONCUR 2003, LNCS 2761 (2003
Citations:8 - 6 self