Stephan Kleuker. Incremental Development of Deadlock-Free Communicating Systems. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 306-320, Springer, 1997.
Abstract is missing.