6 citations · 8 across the 3 of their papers we have counts for
4 papers
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The exe…
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise executi…
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
Claudio Corrodi
SCOOP is a programming model and language that allows concurrent programming at a high level of abstraction. Several approaches to verifying SCOOP programs have been proposed in th…
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi +1
To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented co…