Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.

Matthias Kuntz, Stefan Leue, Christoph Scheben

Browse the full CADE paper archive.