Incremental Development of Deadlock-Free Communicating Systems.

Stephan Kleuker

Browse the full TACAS paper archive.