Invited Talks.- Distributed Quantum Computing.- Selfish Routing in Non-cooperative Networks: A Su...

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathemati...

Invited Talks.- Software Architecture for Distributed Reactive Systems.- A Logical Basis for Modu...

Why sometimes probabilistic algorithms can be more effective.- Recent results in the theory of ra...

This volume constitutes the proceedings of the 19th International Symposium on Mathematical Found...

These are the proceedings of a symposium on the mathematical foundations of theoretical computer ...

This book constitutes the refereed proceedings of the 40th International Conference on Current Tr...