The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Search publications for: doi:10.4204/EPTCS.181.3 1 result
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi