Component-Based Construction of Deadlock-Free Systems (2003)

by G Gößler, J Sifakis
Venue:in FSTTCS