Claudio Corrodi
- > Home > Persons > Claudio Corrodi
- > Home > Persons > Christopher M. Poskitt
Publications
- 2018
- [j1]Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Asp. Comput. 30(1): 163-192 (2018) - 2017
- [i3]Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR abs/1710.03928 (2017) - 2016
- [c3]Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE 2016: 31-48 - [i2]Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR abs/1603.00307 (2016) - 2015
- [c1]Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi:
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM 2015: 32-47
last updated on 2019-02-14 22:51 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint