6 citations · 11 across the 4 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2011
Record-replay debugging for the SCOOP concurrency model
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abs…
cs.DC2011★ 5 cited
A comprehensive operational semantics of the SCOOP programming model
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Operational semantics has established itself as a flexible but rigorous means to describe the meaning of programming languages. Oftentimes, it is felt necessary to keep a semantics…