Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999 (Q1962884)

The articles of this volume will be reviewed individually. The preceding conferences (11th, FORTE XI, 1998 and 18th, PSTV XVIII, 1998) have been indicated (see Zbl 0905.68004). Indexed articles: \textit{Petrenko, A.; Boroday, S.; Groz, R.}, Confirming configurations in EFSM, 5-24 [Zbl 0952.68092] \textit{Jard, Claude; Jéron, Thierry; Tanguy, Lénaïck; Viho, César}, Remote testing can be as powerful as local testing, 25-40 [Zbl 0952.68009] \textit{Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha}, Hit-or-jump: An algorithm for embedded testing with applications to IN services, 41-56 [Zbl 0952.68007] \textit{Núñez, Manuel; Rupérez, David}, Fair testing through probabilistic testing, 135-150 [Zbl 0952.68091] \textit{Bi, Jun; Wu, Jianping}, A formal approach to conformance testing of distributed routing protocols, 151-163 [Zbl 0953.68501] \textit{Garavel, Hubert; Sighireanu, Mihaela}, A graphical parallel composition operator for process algebras, 185-202 [Zbl 0952.68097] \textit{Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard}, Guaranteeing liveness in an object calculus through behavioral typing, 203-221 [Zbl 0953.68084] \textit{Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis}, Black box checking, 225-240 [Zbl 0952.68012] \textit{Dong, Yifei; Ramakrishnan, C. R.}, An optimizing compiler for efficient model checking, 241-256 [Zbl 0952.68035] \textit{Godefroid, Patrice}, Exploiting symmetry when model-checking software. (Extended abstract), 257-275 [Zbl 0953.68520] \textit{Hsiung, Pao-Ann; Wang, Farn}, User-friendly verification, 279-294 [Zbl 0953.68570] \textit{Schenke, Michael; Dossis, Michael}, Provably correct hardware compilation using timing diagrams, 313-331 [Zbl 0953.68513] \textit{Kim, Myungchul; Shin, Jaehwi; Chanson, Samuel T.; Kang, Sungwon}, An enhanced model for testing asynchronous communicating systems, 337-356 [Zbl 0951.68004] \textit{Seol, Soonuk; Kim, Myungchul; Kang, Sungwon; Park, Yongbum; Choe, Younghan}, Interoperability test suite derivation for the TCP, 357-376 [Zbl 0953.68502] \textit{Zhu, Jinsong; Vuong, Son T.}, Coverage analysis for embedded testing and an application, 377-386 [Zbl 0954.68006] \textit{de Frutos-Escrig, David; López, Natalia; Núñez, Manuel}, Global timed bisimulation: An introduction, 401-416 [Zbl 0954.68113] \textit{Khoumsi, Ahmed; von Bochmann, Gregor; Dssouli, Rachida}, Protocol synthesis for real-time applications, 417-433 [Zbl 0954.68007] \textit{Creese, S. J.; Roscoe, A. W.}, Verifying an infinite family of inductions simultaneously using data independence and FDR, 437-452 [Zbl 0954.68511]