ISBN: 0-7695-2222-X

Jayadev Misra, The University of Texas at Austin

Jun Pang, CWI, The Netherlands

Jaco van de Pol, CWI, The Netherlands

Miguel Valero Espada, CWI, The Netherlands

Christopher Rouff, SAIC

Amy Vanderbilt, SAIC

Mike Hinchey, NASA GSFC Code 581

Walt Truszkowski, NASA GSFC Code 588

James Rash, NASA GSFC Code 588

Noriaki Yoshiura, Gunma University, Japan

Xinbei Tang, University of Kent, UK

Jim Woodcock, University of Kent, UK

Suman Roy, Honeywell Technology Solutions Lab. Pvt. Ltd., India

Tobias Schuele, University of Kaiserslautern, Germany

Klaus Schneider, University of Kaiserslautern, Germany

Bernhard Beckert, University of Koblenz-Landau

Vladimir Klebanov, University of Koblenz-Landau

A. Prasad Sistla

Xiaodong Wang

Min Zhou

Hubert Baumeister, Ludwig-Maximilians-Universit?t M?nchen, Germany

Alexander Knapp, Ludwig-Maximilians-Universit?t M?nchen, Germany

Martin Wirsing, Ludwig-Maximilians-Universit?t M?nchen, Germany

Lian. Wen, Griffith University, Australia

R. Geoff. Dromey, Griffith University, Australia

Ruggero Lanotte, Universit? dell'Insubria, Italy

Andrea Maggiolo-Schettini, Universit? di Pisa, Italy

Angelo Troina, Universit? di Pisa, Italy

Sabine Moisan, INRIA Sophia Antipolis, France

Annie Ressouche, INRIA Sophia Antipolis, France

Jean-Paul Rigault, Univ. of Nice Sophia Antipolis, France

Jin Naiyong, East China Normal University, China

He Jifeng, United Nations University, Macau

Richard Torbj? Sanders, SINTEF ICT / NTNU, Norway

Rolv Br?, Norwegian University of Science and Technology (NTNU), Norway

Stephan Flake, ORGA Systems GmbH, Germany

Wolfgang Mueller, Paderborn University / C-LAB, Germany

Sun Meng, Peking University

Zhang Naixiao, Peking University

Lu?s S. Barbosa, Minho University

Ingo Schinz, OFFIS, Germany

Tobe Toben, Carl von Ossietzky Universit?t Oldenburg, Germany

Christian Mrugalla, OFFIS, Germany

Bernd Westphal, Carl von Ossietzky Universit?t Oldenburg, Germany

Mathai Joseph, Tata Research Development & Design Centre

Einar Broch Johnsen, University of Oslo, Norway

Olaf Owe, University of Oslo, Norway

Farhad Arbab, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Universiteit Leiden, The Netherlands

Christel Baier, Universit?t Bonn, Germany

Frank de Boer, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Universiteit Leiden, The Netherlands

Jan Rutten, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Vrije Universiteit Amsterdam, The Netherlands

Michel Bidoit, CNRS & ENS de Cachan, France

Rolf Hennicker, Ludwig-Maximilians-Universit?t M?nchen, Germany

Alexander Knapp, Ludwig-Maximilians-Universit?t M?nchen, Germany

Hubert Baumeister, Ludwig-Maximilians-Universit?t M?nchen, Germany

K. Rustan M. Leino, Microsoft Research, Redmond, WA

Wolfram Schulte, Microsoft Research, Redmond, WA

Stefan Berghofer, Technische Universit?t M?nchen, Germany

Tobias Nipkow, Technische Universit?t M?nchen, Germany

Jian Zhang, Chinese Academy of Sciences, China

Chen Xu, Chinese Academy of Sciences, China

Xiaoliang Wang, Chinese Academy of Sciences, China

Cristiano Bertolini, Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Brazil

Andr? G. Farina, Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Brazil

Paulo Fernandes, Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Brazil

Fl?vio M. Oliveira, Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Brazil

Gr?goire Hamon, Chalmers University of Technology, Sweden

Leonardo de Moura, SRI International, Menlo Park, CA

John Rushby, SRI International, Menlo Park, CA

Zhongjie Li, Tsinghua University, China

Xia Yin, Tsinghua University, China

Jianping Wu, Tsinghua University, China

Ying Hu, New York University

Clark Barrett, New York University

Benjamin Goldberg, New York University

Florian Kamm?, Technische Universit?t Berlin, Germany

J. W. Sanders, OUCL, UK

Jinzhao Wu, Universit?t Mannheim, Germany

Houguang Yue, Chinese Academy of Sciences, China

Marcel Oliveira, University of Kent, England

Manuela Xavier, Universidade Federal de Pernambuco, Brazil

Ana Cavalcanti, University of Kent, England

Georg Struth, Universit? t Augsburg, Germany

Tien N. Nguyen, University of Wisconsin-Milwaukee

Ethan V. Munson, University of Wisconsin-Milwaukee

Hong Mei, Peking University, Beijing, China

Linas Laibinis, ?bo Akademi University, Finland

Elena Troubitsyna, ?bo Akademi University, Finland

Ridha Khedri, McMaster University, Canada

Imen Bourguiba, McMaster University, Canada

Yu-Tong He, McMaster University, Canada

Ryszard Janicki, McMaster University, Canada

Pu Geguang, Peking University, China

Zhao Xiangpeng, Peking University, China

Wang Shuling, Peking University, China

Qiu Zongyan, Peking University, China

He Jifeng, United Nations University, Macau

Wang Yi, Uppsala University, Sweden

Richard O. Sinnott, University of Glasgow, Scotland

Alexander Fronk, University of Dortmund, Germany

Raman Kazhamiakin, DIT, University of Trento, Italy

Marco Pistore, DIT, University of Trento, Italy

Marco Roveri, ITC-irst, Italy

Neil Evans, University of London

Helen Treharne, University of London

R?gine Laleau, Universit? Paris 12

Marc Frappier, Universit? de Sherbrooke, Canada