 |  |  |  |  |  |  | SCIENCE OF COMPUTER PROGRAMMING |  |  |  |  |  |  | Methods of Software Design: Techniques and Applications
|  | |  | Editorial Board |  | Editor-in-Chief: |  | | J. Bergstra | University of Amsterdam, Faculty of Science, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands, Tel: +31-20-5257591, Fax: +31-20-5257490, Email: janb@science.uva.nl
|  | Editorial Assistant: |  | | B. van Vlijmen | University of Amsterdam, Faculty of Science, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands, Tel: +31 20 5257584, Fax: +31 20 5257490, Email: vlijmen@science.uva.nl
|  | Editorial Board: |  | | G. Berry | Esterel Technologies, 679 Av. Julien Lefèbvre, 06270 Villeneuve-Loubet, France, Tel: +33 4 92 02 40 65, Email: gerard.berry@esterel-technologies.com
|  | | E. Bertino | Università di Milano, Dipt. di Scienze dell'Informazione, Via Comelico 39/41, 20135 Milano, Italy, Tel: +39 2 5500 6227, Fax: +39 2 5500 6253, Email: bertino@dsi.unimi.it
|  | | M. Broy | Institut für Informatik, TUM, Boltzmannstrasse 3, D-85748 Garching, Germany, Email: broy@in.tum.de
|  | | M. Burgess | Oslo University College, P.O. Box 4, St Olavs Plass, 0130 Oslo, Norway, Tel: +47 22453272, Fax: +47 22453205, Email: Mark.Burgess@iu.hio.no
|  | | L.M.G. Feijs | Technical University of Eindhoven, Faculty of Industrial Design, HG 3092, Den Dolech 2, 5612 MB, Eindhoven, The Netherlands, Tel: +31 40 2742953, Fax: +31 40 2463992, Email: l.m.g.feijs@tue.nl
|  | | M.C. Gaudel | Université de Paris-Sud, L.R.I., Bat. 490, F-91405, Orsay, France, Email: mcg@lri.fr
|  | | C. Ghezzi | Politecnico di Milano, Dipt. Elettronica e Informazione, Piazza L. da Vinci 32, 20133 Milano, Italy, Tel: +39 2 2399 3529, Fax: +39 2 2399 3411, Email: ghezzi@elet.polimi.it
|  | | W.H. Hesselink | Department of Computer Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, The Netherlands, Tel: +31 50 3633933, Fax: +31 50 3633800, Email: w.h.hesselink@rug.nl
|  | | M. Jackson | 101 Hamilton Terrace, London, NW8 9QX, UK, Tel: +44 171 286 1814, Fax: +44 171 266 2645, Email: jacksonma@acm.org
|  | | P. Klint | CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, Email: paul.klint@cwi.nl
|  | | C. Lengauer | Universität Passau, Fakultät für Mathematik und Informatik, D-94030 Passau, Germany, Tel: +49 851 509 347, Fax: +49 851 509 346, Email: lengauer@fmi.uni-passau.de
|  | | P.A. Lindsay | University of Queensland, Brisbane School of Information Technology & Electrical Engineering, Queensland 4072, Australia, Tel: +61 7 3365 2005, Fax: +61 7 3365 1533, Email: p.lindsay@itee.uq.edu.au
|  | | Luqi | Naval Postgraduate School, Computer Science Department, Monterey, CA 93943, USA, Tel: +1 408 656 2735, Email: luqi@cs.nps.navy.mil
|  | | A. Pnueli | The Weizmann Institute of Science, Faculty of Mathematics and Computer Science, 71600 Rehovot, Israel, Tel: +972 8 934 3434, Fax: +972 8 934 4122, Email: amir@wisdom.weizmann.ac.il
|  | | B. Selic | IBM Rational Software, 770 Palladium Drive, Kanata, Ontario, Canada, K2V 1C8, Tel: +1 (613) 591-7915, Fax: +1 (613) 599 3912, Email: selic@acm.org
|  | | J.V. Tucker | University of Wales Swansea, Department of Computer Science, Singleton Park, Swansea SA2 8PP, UK, Tel: +44 1792 205649, Fax: +44 1792 295618, Email: j.v.tucker@swan.ac.uk
|  | | P. Wegner | Brown University, Department of Computer Science, Providence, RI 02912, USA, Tel: +1 401 863 7600, Fax: +1 401 863 7657, Email: pw@cs.brown.edu
|  |
|  |  |  |  |
| |  |
|