The power of well-structured systems (2013)

by Schnoebelen
Venue:In Proc. CONCUR 2013