![](/img/cover-not-exists.png)
Discovering and correcting a deadlock in a channel implementation
Lowe, GavinLanguage:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-019-00487-y
Date:
July, 2019
File:
PDF, 383 KB
english, 2019