Author: Martin Abadi

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. …

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013 …

This volume contains the papers presented at CONCUR 2005, the 16th – ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, de …

This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Pract …