Media type: E-Book Title: Extending non-termination proof techniques to asynchronously communicating concurrent programs Contributor: Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author] imprint: Konstanz: Bibliothek der Universität Konstanz, 2010 Extent: Online-Ressource Language: German Identifier: Origination: Footnote: Access State: Open Access