@mastersthesis{Carvalho,
 author = {T. Carvalho},
 title = {Spatial Types for Concurrency: A Spatial Logic to Specify and Verify Distributed Systems},
 note = {Tese de Mestrado em Matemática e Aplicações},
 school = {IST},
 year = {2007},
}