Imperative objects as mobile processes
Science of Computer Programming
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Hi-index | 0.00 |