This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks." This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech- niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna- tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main...