Affiliated as an official scientific journal of IFToMM
The International Federation for the Promotion of Mechanism and Machine Science
EDITOR-IN-CHIEF SUBJECT EDITORS
Professor Paulo Flores Professor A. Cardona, The Universidad Nacional del Litoral in Santa Fe, Argentina University of Minho Professor J.S. Dai, King’s College London, UK Campus de Azurém, Guimarães, Portugal Professor A. Fuentes-Aznar, Rochester Institute of Technology, NY, USA Email: pflores@dem.uminho.pt Professor T. Huang, Tianjing University, Beijing, China; University of Warwick, UK ASSOCIATE EDITORS S. Bandyopadhyay, Chennai, India EDITORS EMERITUS Professor O. Brüls, Liége, Belgium Professor F.R.E. Crossley, North Branford, CT, USA Professor J. Carretero, Fredericton, New Brunswick, Canada Professor A. Kecskeméthy, Duisburg, Germany Professor M. Carricato, Bologna, Italy Professor T. Shoup, Santa Clara, CA, USA Professor J. Cuadrado, Ferrol, Spain Professor J.J. Uicker, Madison, WI, USA Professor L. Cveticanin, Novi Sad, Serbia Professor R. di Gregorio, Ferrara, Italy HONORARY EDITORIAL ADVISORY BOARD Professor H. Ding, Wuhan, China Professor Z.-H. Fong, Min-Hsiung Township, Taiwan Professor J. Angeles, Montreal, QC, Canada D. Gan, Abu Dhabi, UAE Dr R.S. Berkof, Cresco, PA, USA Professor F. Gao, Shanghai, China Dr L. Cloutier, Sainte Foy, QC, Canada Professor A. Ghosal, Bangalore, India Professor S. Dubowsky, Cambridge, MA, USA Professor G. Gogu, Aubiére France Dr E. Heer, La Canada, CA, USA Professor M. Guiggiani, Pisa, Italy Professor A. Kecskeméthy, Duisburg, Germany Professor J. Herder, Delft, Netherlands Professor P.A. Lebedev, St. Petersburg, Russian Federation Professor K. Kawasaki, Niigata, Japan Professor Dr F.L. Litvin, Chicago, IL, USA Professor X. Kong, Edinburgh, UK Professor L. Maunder, Newcastle-upon-Tyne, UK Professor S. Li, Dayton, OH, USA Dr E. Peizer, New York, NY, USA Professor X.-J. Liu, Beijing, China Professor V. Parenti-Castelli, Bologna, Italy N. Lobontiu, Anchorage, Alaska, USA Dr. J.S. Rao, Kanpur, India Professor K. Lucchesi Cavalca, Campinas, SP, Brazil Professor B. Roth, Stanford, CA, USA Professor K.-H. Low, Singapore Professor J.P. Sadler, Lexington, KY, USA Professor D. Mundo, Arcavacata di Rende, Italy Professor D.S. Taykhelidze, Tbilisi, Georgia Professor L. Notash, Kingston, ON, Canada Professor E. Papadopoulos, Athens, Greece IFToMM EXECUTIVE COUNCIL Professor E. Pennestri, Rome, Italy President: Marco Ceccarelli Professor G. Pennock, West Lafayette, IN, USA Vice-President: Shuo Hung Chang Dr. J.S. Rao, Kanpur, India Secretary-General: Teresa Zielinska Professor H.-P. Schröcker, Innsbruck, Austria Treasurer: Juan Antonio Carretero Professor A.L. Schwab, Delft, The Netherlands Members: Ashitava Ghosal Professor R. Seifried, Hamburg, Germany Burkhard Corves Professor I. Sharf, Montreal, QC, Canada Can Dede J. Sinha, Manchester, England, UK Fernando Viadero Professor G. Stepan, Budapest, Hungary Jean-Pierre Merlet Professor H. Su, Columbus, OH, USA Tian Huang Professor Y. Takeda, Tokyo, Japan Immediate Past President: Yoshihiko Nakamura Professor D. Talbot, Columbus, OH, USA Professor P. Velex, Lyon, France Professor K.J. Waldron, Stanford, CA, USA Professor J. Wallaschek, Hannover, Germany Professor P. Wenger, Nantes, France Professor L. Zentner, Ilmenau, Germany
Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992