149 citations · 154 across the 8 of their papers we have counts for
1 paper · 1 filter
Georgiana Caltais, Bertrand Meyer
In this paper we address the deadlock detection problem in the context of SCOOP - an OO-programming model for concurrency, recently formalized in Maude. We present the integration…