Claudio Corrodi

Identifiers

• name variant Claudio Corrodi 0.60 · backfill

Papers (4)

1. A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language cs.SE · 2017 · author #1
2. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs cs.SE · 2016 · author #1
3. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE cs.PL · 2015 · author #1
4. Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model cs.SE · 2015 · author #3

Mentions

• 1505.05265 #1 · backfill · confidence 0.70 Claudio Corrodi
• 1504.02611 #3 · backfill · confidence 0.70 Claudio Corrodi

Frequent Coauthors

• Alexander Heu{\ss}ner 3 shared papers
• Christopher M. Poskitt 3 shared papers
• Benjamin Morandi 1 shared papers