PubPeer
The online Journal club
login
create account
Home
Publications
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Electronic Proceedings in Theoretical Computer Science (2015) -
Comments
doi: 10.4204/eptcs.181.3 issn: 2075-2180
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Go to article
Go to preprint
Open Publishing Association
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})