DMCA

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs

Cached

Download Links

by Matthias Kuntz , Christoph Scheben , Stefan Leue