Luca de Alfaro

Foundations of Software Science and Computational Structures
CONCUR 2005 - Concurrency Theory