About the Book
Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.
Table of Contents:
Invited presentations: Design and Verification in Real-Time Distributed Computing: An Introduction to Compositional Methods (W.P. de Roever, J.J.M. Hooman). Open Distributed Processing (J.J. van Griethuysen). Contributed Sections: System Specification. Process Algebra Applications. Conformance Testing. Specification Language Transformation. Transition System Applications. Tool Environments. Verification by State Space Exploration. Temporal Logic Applications. Contributors: G. von Bochmann, P. Boehm, S. Chan, R.I. Chan, W.Y.L. Chan, S.T. Chanson, M.S. Chen, R. Cleaveland, A.T. Dahbura, W.B. Davis, M. Deslauriers, M. Diaz, T.S. Dillon, D.D. Dimitrijevic, P. van Eijk, M. Faci, P. Gburzynski, N. Gotz, J. Gustafsson, I.J. Hayes, T. Higashino, G.J. Holzmann, M.R. Ito, C. Jard, J.M. Jezequel, H. Kaminaga, A. Kershenbaum, T. Kimoto, R.P. Kurshan, R. Lai, R. Langerak, B.P. Lee, L. Logrippo, F. Lombardi, M. Mori, M. Mowbray, G. Neufeld, K. Ninomiya, S. Noguchi, F. Orava, N.J. Parakh, K.P. Parker, J. Parrow, M. Phalippou, B. Pradin-Chezalviel, G.A. Rose, H. Rudin, P. Rudnicki, H.L. See, Y.-N. Shen, N. Shiratori, B.R. Smith, B. Solomon, B. Steffen, B. Stepien, T. Stroup, K. Takahashi, K. Taniguchi, S.T. Vuong, C.D. Wezeman, D. Wolz, M.C. Yuang, H.X. Zeng
