4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Georgiana Caltais, Bertrand Meyer
In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP -- an elegant concurrency model, recently formalized based on Rewrit…