This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization...
Dynamic Partial Order Reduction under the Release-Acquire Semantics.- On the Complexity of Fault-...
This book constitutes the refereed proceedings of the 5th International Symposium on Cyber Securi...
Providing a shared memory abstraction in distributed systems is a powerful tool that can simplify...
This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology...