martín abadi

Principles of Security and Trust

This book constitutes the refereed proceedings of the Third International Conference on Principle...

Trustworthy Global Computing

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Co...

A Theory of Objects

A Theory of Objects

Procedural languages are generally well understood and their formal foundations cast in the forms...

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Co...

Theoretical Aspects of Computer Software

This book constitutes the refereed proceedings of the Third International Symposium on Theoretica...

A Theory of Objects

Procedural languages are generally well understood and their formal foundations cast in the forms...

Trustworthy Global Computing

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

Principles of Security and Trust

This book constitutes the refereed proceedings of the Third International Conference on Principle...