6 citations · 8 across the 3 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
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…
cs.SE2015★ 6 cited
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…