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