1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…