You are about to access our book library "Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd Ifip Wg 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 full version" .