This book constitutes the refereed proceedings of the 7th International Conference on Concurrency...

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy ...

Convexity, Duality and Effects.- A Calculus for Power-Aware Multicast Communications in Ad Hoc Ne...

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

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...

Convexity, Duality and Effects.- A Calculus for Power-Aware Multicast Communications in Ad Hoc Ne...