3 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve +1
We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions t…