- Email: [email protected]
Board of Editors
Managing Editor A. Tarlecki, Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland
[email protected]
Advisory Board D. Gries, Department of Computer Science, The University of Georgia, 415 Boyd GSRC, Athens, GA 30605, USA [email protected] W.M. Turski, Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland [email protected] Board of Editors R. Backhouse, The University of Nottingham, School of Computer Science and Information Technology, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, United Kingdom [email protected] D. Basin, ETH Zurich, CH-8092 Zurich, Switzerland [email protected] A.A. Bertossi, University of Bologna, Department of Computer Science, Mura Anteo Zamboni 7, I-40127 Bologna, Italy [email protected] L. Boasson, LIAFA, Université Paris VII—Denis Diderot Paris 7, 2 Place Jussieu, 75251 Paris Cédex 05, France [email protected] F.Y.L. Chin, The University of Hong Kong, Department of Computer Science and Information Systems, Pokfulam Road, Hong Kong [email protected] J. Chomicki, University of Buffalo, Department of Computer Science and Engineering, Box 602000, 201 Bell Hall, Buffalo, NY 14260-2000, USA [email protected] F. Dehne, Griffith University, School of Computing and IT, Nathan, Brisbane, Qld 4111, Australia http://email.dehne.net Y. Desmedt, Florida State University, Department of Computer Science, P.O. Box 4530, Tallahassee, FL 32306, USA [email protected] J.L. Fiadeiro, Department of Computer Science, University of Leicester, University Road, Leicester LE1 7RH, UK [email protected] S.E. Hambrusch, 216 Computer Science Building, Department of Computer Sciences, Purdue University, West Lafayette, IN 47907, USA [email protected] L.A. Hemaspaandra, Department of Computer Science, University of Rochester, Rochester, NY 14627, USA [email protected] W.-L. Hsu, Institute of Information Science 20, Academia Sinica, 128 Academia Road, Section 2, Nankang, Taipei 11529, Taiwan, ROC [email protected] K. Iwama, Kyoto University, School of Informatics, Kyoto 606-8501, Japan [email protected] F. Meyer auf der Heide, Heinz Nixdorf Institute and Computer Science Department, University of Paderborn, Fürstenallee 11, D-33102 Paderborn, Germany [email protected] A. Moffat, University of Melbourne, Department of Computer Science and Software Engineering, Victoria 3010, Australia [email protected] P.M.B. Vitányi, Centre for Mathematics and Computer Science (CWI), Kruislaan 413, 1098 SJ Amsterdam, The Netherlands [email protected] M. Yamashita, University of Kyushu, Department of Computer Science & Communication Engineering, Hakozaki, Higashi, Fukuoka 812-8581, Japan [email protected] Please contact the Managing Editor if you have questions or problems concerning submission, processing, or publication of a paper. But submit paper ONLY to an Editor (based on geographic or subject-area proximity) that appears in the Board of Editors. The Managing Editor is not responsible for directing submissions to appropriate editors. Editorial Policy and Scope The aim of IPL is to allow rapid dissemination of interesting results in the field of information processing in the form of short, concise papers. To this end, submissions should not exceed the equivalent of nine A4 or 81/2-by-11 double-spaced typed pages. The scope of the journal is indicated by the list of keywords found below. This list is periodically updated by inserting items most frequently proposed by the contributors and removing the least popular entries, under the advisement of the Board of Editors. Submissions are encouraged both on theoretical work and on experimental work. The scope of IPL is suggested by the following alphabetical list of keywords: Algorithms – analysis of algorithms – approximation algorithms – automatic theorem proving – combinatorial problems – compilers – computational complexity – computational geometry – concurrency – cryptography – data structures – databases – design of algorithms – distributed computing – distributed systems – fault tolerance – formal languages – formal methods – formal semantics – functional programming – graph algorithms – information retrieval – interconnection networks – on-line algorithms – operating systems – parallel algorithms – parallel processing – performance evaluation – program correctness – program derivation – program specification – programming calculi – programming languages – randomized algorithms – real-time systems – safety/security in digital systems – scheduling – software design and implementation – software engineering – specification languages – theory of computation. Author enquiries For enquiries relating to the submission of articles (including electronic submission where available) please visit Elsevier’s Author Gateway at http://authors.elsevier.com. The Author Gateway also provides the facility to track accepted articles and set up e-mail alerts to inform you of when an article’s status has changed, as well as detailed artwork guidelines, copyright information, frequently asked questions and more. Contact details for questions arising after acceptance of an article, especially those relating to proofs, are provided after registration of an article for publication. ∞ The paper used in this publication meets the requirements of ANSI/NISO Z39.48-1992 (Permanence of Paper).
Published twice a month
Printed in The Netherlands
[email protected]
Advisory Board D. Gries, Department of Computer Science, The University of Georgia, 415 Boyd GSRC, Athens, GA 30605, USA [email protected] W.M. Turski, Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland [email protected] Board of Editors R. Backhouse, The University of Nottingham, School of Computer Science and Information Technology, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, United Kingdom [email protected] D. Basin, ETH Zurich, CH-8092 Zurich, Switzerland [email protected] A.A. Bertossi, University of Bologna, Department of Computer Science, Mura Anteo Zamboni 7, I-40127 Bologna, Italy [email protected] L. Boasson, LIAFA, Université Paris VII—Denis Diderot Paris 7, 2 Place Jussieu, 75251 Paris Cédex 05, France [email protected] F.Y.L. Chin, The University of Hong Kong, Department of Computer Science and Information Systems, Pokfulam Road, Hong Kong [email protected] J. Chomicki, University of Buffalo, Department of Computer Science and Engineering, Box 602000, 201 Bell Hall, Buffalo, NY 14260-2000, USA [email protected] F. Dehne, Griffith University, School of Computing and IT, Nathan, Brisbane, Qld 4111, Australia http://email.dehne.net Y. Desmedt, Florida State University, Department of Computer Science, P.O. Box 4530, Tallahassee, FL 32306, USA [email protected] J.L. Fiadeiro, Department of Computer Science, University of Leicester, University Road, Leicester LE1 7RH, UK [email protected] S.E. Hambrusch, 216 Computer Science Building, Department of Computer Sciences, Purdue University, West Lafayette, IN 47907, USA [email protected] L.A. Hemaspaandra, Department of Computer Science, University of Rochester, Rochester, NY 14627, USA [email protected] W.-L. Hsu, Institute of Information Science 20, Academia Sinica, 128 Academia Road, Section 2, Nankang, Taipei 11529, Taiwan, ROC [email protected] K. Iwama, Kyoto University, School of Informatics, Kyoto 606-8501, Japan [email protected] F. Meyer auf der Heide, Heinz Nixdorf Institute and Computer Science Department, University of Paderborn, Fürstenallee 11, D-33102 Paderborn, Germany [email protected] A. Moffat, University of Melbourne, Department of Computer Science and Software Engineering, Victoria 3010, Australia [email protected] P.M.B. Vitányi, Centre for Mathematics and Computer Science (CWI), Kruislaan 413, 1098 SJ Amsterdam, The Netherlands [email protected] M. Yamashita, University of Kyushu, Department of Computer Science & Communication Engineering, Hakozaki, Higashi, Fukuoka 812-8581, Japan [email protected] Please contact the Managing Editor if you have questions or problems concerning submission, processing, or publication of a paper. But submit paper ONLY to an Editor (based on geographic or subject-area proximity) that appears in the Board of Editors. The Managing Editor is not responsible for directing submissions to appropriate editors. Editorial Policy and Scope The aim of IPL is to allow rapid dissemination of interesting results in the field of information processing in the form of short, concise papers. To this end, submissions should not exceed the equivalent of nine A4 or 81/2-by-11 double-spaced typed pages. The scope of the journal is indicated by the list of keywords found below. This list is periodically updated by inserting items most frequently proposed by the contributors and removing the least popular entries, under the advisement of the Board of Editors. Submissions are encouraged both on theoretical work and on experimental work. The scope of IPL is suggested by the following alphabetical list of keywords: Algorithms – analysis of algorithms – approximation algorithms – automatic theorem proving – combinatorial problems – compilers – computational complexity – computational geometry – concurrency – cryptography – data structures – databases – design of algorithms – distributed computing – distributed systems – fault tolerance – formal languages – formal methods – formal semantics – functional programming – graph algorithms – information retrieval – interconnection networks – on-line algorithms – operating systems – parallel algorithms – parallel processing – performance evaluation – program correctness – program derivation – program specification – programming calculi – programming languages – randomized algorithms – real-time systems – safety/security in digital systems – scheduling – software design and implementation – software engineering – specification languages – theory of computation. Author enquiries For enquiries relating to the submission of articles (including electronic submission where available) please visit Elsevier’s Author Gateway at http://authors.elsevier.com. The Author Gateway also provides the facility to track accepted articles and set up e-mail alerts to inform you of when an article’s status has changed, as well as detailed artwork guidelines, copyright information, frequently asked questions and more. Contact details for questions arising after acceptance of an article, especially those relating to proofs, are provided after registration of an article for publication. ∞ The paper used in this publication meets the requirements of ANSI/NISO Z39.48-1992 (Permanence of Paper).
Published twice a month
Printed in The Netherlands