| - A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt, In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), Springer, volume 9633, 2016. [pdf]
[bib]
|
| - Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi, In Proc. Graphs as Models (GaM 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 181, 2015. [pdf]
[bib]
|