Title: Formal Techniques for Networked and Distributed Systems - FORTE 2006
Subjects: Electronic data processing, distributed processing, Computer network protocols