Title: Formal Techniques for Networked and Distributed Systems - Forte 2006