2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Florian Kammueller
In this paper, we provide a formal framework for the security of distributed active objects. Active objects communicate asynchronously implementing method calls via futures. We bas…