You are about to access our book library "Formal Techniques for Networked and Distributed Systems - FORTE 2004 full version" .