Formal Aspects of Computing

Submission of a manuscript implies: that the work described has not been published before (except in the form of an abstract or as part of a published lecture, review, or thesis); that it is not under consideration for publication elsewhere; that its publication has been approved by all co-authors, if any, as well as - tacitly and explicitly - by the responsible authorities at the institution where the work was carried out. Transfer of copyright to BCS becomes effective if and when the article is accepted for publication. The copyright covers the exclusive right (for U.S. government employees: to the extent transferable) to reproduce and distribute the article, including reprints, translations, photographic reproductions, microform, electronic form (offline, online) or other reproductions of similar nature.

All articles published in this journal are protected by copyright, which covers the exclusive rights to reproduce and distribute the article (e. g., as offprints), as well as all translation rights. No material published in this journal may be reproduced photographically or stored on microfilm, in electronic data bases, video disks, etc., without first obtaining written permission from the publisher. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if not specifically identified, does not imply that these names are not protected by the relevant laws and regulations.

An author may make his/her article published by Springer-Verlag London available on his/her personal home page, provided the source of the published article is cited and BCS is mentioned as the copyright owner. Authors are requested to create a link to the published article in Springer´s internet service. The link must be accompanied by the following text: "The original publication is available at springerlink.com".

Please use the appropriate URL and/or DOI for the article. Articles disseminated via SpringerLink are indexed, abstracted and referenced by many abstracting and information services, bibliographic networks, subscription agencies, library networks, and consortia.

The author warrants that this contribution is original and that he/she has full power to make this grant. The author signs for and accepts responsibility for releasing this material on behalf of any and all co-authors.

After submission of this agreement signed by the corresponding author, changes of authorship or in the order of the authors listed will not be accepted by Springer-Verlag.

While the advice and information in this journal is believed to be true and accurate at the date of its publication, neither the authors, the editors, nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.

Special regulations for photocopies in the USA. Photocopies may be made to personal or in-house use beyond the limitations stipulated under Section 107 or 108 of U. S. Copyright Law, provided a fee is paid. All fees should be paid to the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA, Tel: +1-978-7508400, Fax: +1-978-6468600, http://www.copyright.com, stating the ISSN 0934-5043, the volume, and the first and last page numbers of each article copied. The copyright owner's consent does not include copying for general distribution, promotion, new works, or resale. In these cases specific written permission must first be obtained from the publisher.

The Canada Institute for Scientific and Technical Infomation (CISTI) provides a comprehensive, world-wide document delivery service for all Springer-Verlag journals. For more information, or to place an order for a copyright-cleared Springer-Verlag document, please contact Client Assistant, Document Delivery, CISTI, Ottowa K1A 0S2, Canada (Tel: +1-613-993-9251; Fax: 613-952-8243; e-mail: cisti.docdel@nrc.ca).

Springer-Verlag London Limited
is a part of Springer Science+Business Media

springer.com

Ownership and Copyright
© British Computer Society