Component-based construction of deadlock-free systems: Extended abstract (2003)

by G Gößler, J Sifakis
Venue:of Lecture Notes in Computer Science