Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Formal Aspects of Computing-incl. option to publish open access

Formal Aspects of Computing

Formal Aspects of Computing

Applicable Formal Methods

Chief Editor: James Woodcock

ISSN: 0934-5043 (print version)
ISSN: 1433-299X (electronic version)

Journal no. 165

$99.00 Personal Rate e-only for the Americas
Get Subscription

Online subscription, valid from January through December of current calendar year

Immediate access to this year's issues via SpringerLink

1 Volume(-s) with 6 issue(-s) per annual subscription

Automatic annual renewal

More information: >> FAQs // >> Policy

Instructions for Authors

Manuscript submission 

How to submit your manuscript

Please prepare your manuscript following the detailed Instructions for Authors for this journal which can be found below.

Online submission via Editorial Manager

Manuscripts must be submitted electronically via Editorial Manager using the “Submit Online” tab on the right of the journal homepage.
Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage or via the link below.
Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.
Electronic submission substantially reduces the editorial processing and reviewing times and shortens overall publication times.

Title page 

Title Page

The title page should include:
  • The name(s) of the author(s)
  • A concise and informative title
  • The affiliation(s) and address(es) of the author(s)
  • The e-mail address, and telephone number(s) of the corresponding author
  • If available, the 16-digit ORCID of the author(s)

Abstract

Please provide an abstract of 150 to 250 words. The abstract should not contain any undefined abbreviations or unspecified references.

Keywords

Please provide 4 to 6 keywords which can be used for indexing purposes.

Text 

Text formatting

Manuscripts should be submitted in LaTeX. Please use the journal's LaTeX macro package and follow the instructions in the LaTex Guide. The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
Word files are also accepted.

Headings

Please use the decimal system of headings with no more than three levels.

Abbreviations

Abbreviations should be defined at first mention and used consistently thereafter.

Footnotes

Footnotes can be used to give additional information, which may include the citation of a reference included in the reference list. They should not consist solely of a reference citation, and they should never include the bibliographic details of a reference. They should also not contain any figures or tables.
Footnotes to the text are numbered consecutively; those to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data). Footnotes to the title or the authors of the article are not given reference symbols.
Always use footnotes instead of endnotes.

Acknowledgments

Acknowledgments of people, grants, funds, etc. should be placed in a separate section before the reference list. The names of funding organizations should be written in full.

LaTeX and Online Submission 

All source files you upload in the online submission system will be automatically compiled into a single PDF file to be approved by you at the end of the submission process. While the compiled PDF will be used for peer-review purposes, your uploaded source files will be transferred to the publisher for publication upon acceptance.
Please do not use subfolders for your LaTeX submission, e.g. for figures or bibliographic files. Further technical information on uploading and compiling your LaTeX submission can be found under

References 

As with standard LATEX, there are two ways of producing a list of references; either by compiling a list (using
a thebibliography environment), or by using BibTEX with a suitable bibliographic database, using the
standard BibTEX ‘alpha’ style file.

References in the text

References to published literature should be quoted in text by an abbreviation in square brackets of name(s)
(three letters) and date (two digits) – this format is consistent with the BibTEX ‘alpha’ style.
Each entry has a key, which is assigned by the author and used to refer to that entry in the text (with
\cite). e.g. \cite{Lam:LaTeX}.
A new form of the \cite command is also provided ‘\nbcite’, which works in the same way – except it
doesn’t put any square brackets in the output, allowing more complex citations formats to be constructed.

The list of references

The following listing shows some references prepared in the style of the journal; the code produces the
references at the end of this guide.
\begin{thebibliography}{Lam94}
\bibitem[But81]{But:Copy} Butcher, J.:
\emph{Copy-editing: The Cambridge Handbook.}
Cambridge University Press, 1981.
\bibitem[Chi69]{Chicago}
\emph{The Chicago Manual of Style.}
University of Chicago Press, Chicago 60637, USA, 1982.
\bibitem[For84]{For:Program} Forgaard, R.:
A Program for Generating and Analyzing Term Rewriting
Systems, Master’s Thesis, MIT Lab. for Computer Science,
1984.
\bibitem[JLR82]{Jou:Recursive} Jouannaud, J. P., Lescanne, P.
and Reinig, F.: Recursive Decomposition Ordering,
\emph{Proc. Conf. on Formal Description of Programming
Concepts II}, pp. 331--346, 1982.
\bibitem[Lam94]{Lam:LaTeX} Lamport, L.:
\emph{\LaTeX: A Document Preparation System (2nd edition).}
Addison-Wesley, New York, 1994.
\bibitem[Ped85]{Ped:Obtaining} Pederson, J.:
Obtaining Complete Sets of Reproductions and Equations
without Using Special Unification Algorithms. Unpublished
manuscript, 1985.
\bibitem[PeS81]{Pet:Complete} Peterson, G. E. and Stickel, M. E.: Complete Sets of Reductions for Some Equational
Theories. \emph{J. ACM}, \textbf{28}, 223--264 (1981).
\end{thebibliography}

References

[But81] Butcher, J.: Copy-editing: The Cambridge Handbook. Cambridge University Press, 1981.
[Chi69] The Chicago Manual of Style. University of Chicago Press, Chicago 60637, USA, 1982.
[For84] Forgaard, R.: A Program for Generating and Analyzing Term Rewriting Systems, Master’s Thesis, MIT Lab. for
Computer Science, 1984.
[JLR82] Jouannaud, J. P., Lescanne, P. and Reinig, F.: Recursive Decomposition Ordering, Proc. Conf. on Formal Description
of Programming Concepts II, pp. 331–346, 1982.
[Lam94] Lamport, L.: LATEX: A Document Preparation System (2nd edition). Addison-Wesley, New York, 1994.
[Ped85] Pederson, J.: Obtaining Complete Sets of Reproductions and Equations without Using Special Unification Algorithms.
Unpublished manuscript, 1985.
[PeS81] Peterson, G. E. and Stickel, M. E.: Complete Sets of Reductions for Some Equational Theories. J. ACM, 28,
223–264 (1981).
Where more than one reference is cited having the author(s) and date, the letters a,b,c, . . . should follow
the date (e.g. [Smi88a], [Smi88b], etc.). References should be listed in thebibliography environment
alphabetically by author(s)’ name(s) and then by year if the same author has several papers.
Formatting for italic etc. should be avoided unless you are sure you understand the style of references;
please concentrate on giving full and clear information.

Tables 

  • All tables are to be numbered using Arabic numerals.
  • Tables should always be cited in text in consecutive numerical order.
  • For each table, please supply a table caption (title) explaining the components of the table.
  • Identify any previously published material by giving the original source in the form of a reference at the end of the table caption.
  • Footnotes to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data) and included beneath the table body.

Artwork and Illustrations Guidelines 

Electronic Figure Submission

  • Supply all figures electronically.
  • Indicate what graphics program was used to create the artwork.
  • For vector graphics, the preferred format is EPS; for halftones, please use TIFF format. MSOffice files are also acceptable.
  • Vector graphics containing fonts must have the fonts embedded in the files.
  • Name your figure files with "Fig" and the figure number, e.g., Fig1.eps.

Line Art

Line BW
  • Definition: Black and white graphic with no shading.
  • Do not use faint lines and/or lettering and check that all lines and lettering within the figures are legible at final size.
  • All lines should be at least 0.1 mm (0.3 pt) wide.
  • Scanned line drawings and line drawings in bitmap format should have a minimum resolution of 1200 dpi.
  • Vector graphics containing fonts must have the fonts embedded in the files.

Halftone Art

Halftone gray color
  • Definition: Photographs, drawings, or paintings with fine shading, etc.
  • If any magnification is used in the photographs, indicate this by using scale bars within the figures themselves.
  • Halftones should have a minimum resolution of 300 dpi.

Combination Art

Combined
  • Definition: a combination of halftone and line art, e.g., halftones containing line drawing, extensive lettering, color diagrams, etc.
  • Combination artwork should have a minimum resolution of 600 dpi.

Color Art

  • Color art is free of charge for online publication.
  • If black and white will be shown in the print version, make sure that the main information will still be visible. Many colors are not distinguishable from one another when converted to black and white. A simple way to check this is to make a xerographic copy to see if the necessary distinctions between the different colors are still apparent.
  • If the figures will be printed in black and white, do not refer to color in the captions.
  • Color illustrations should be submitted as RGB (8 bits per channel).

Figure Lettering

  • To add lettering, it is best to use Helvetica or Arial (sans serif fonts).
  • Keep lettering consistently sized throughout your final-sized artwork, usually about 2–3 mm (8–12 pt).
  • Variance of type size within an illustration should be minimal, e.g., do not use 8-pt type on an axis and 20-pt type for the axis label.
  • Avoid effects such as shading, outline letters, etc.
  • Do not include titles or captions within your illustrations.

Figure Numbering

  • All figures are to be numbered using Arabic numerals.
  • Figures should always be cited in text in consecutive numerical order.
  • Figure parts should be denoted by lowercase letters (a, b, c, etc.).
  • If an appendix appears in your article and it contains one or more figures, continue the consecutive numbering of the main text. Do not number the appendix figures,
    "A1, A2, A3, etc." Figures in online appendices (Electronic Supplementary Material) should, however, be numbered separately.

Figure Captions

  • Each figure should have a concise caption describing accurately what the figure depicts. Include the captions in the text file of the manuscript, not in the figure file.
  • Figure captions begin with the term Fig. in bold type, followed by the figure number, also in bold type.
  • No punctuation is to be included after the number, nor is any punctuation to be placed at the end of the caption.
  • Identify all elements found in the figure in the figure caption; and use boxes, circles, etc., as coordinate points in graphs.
  • Identify previously published material by giving the original source in the form of a reference citation at the end of the figure caption.

Figure Placement and Size

  • Figures should be submitted separately from the text, if possible.
  • When preparing your figures, size figures to fit in the column width.
  • For most journals the figures should be 39 mm, 84 mm, 129 mm, or 174 mm wide and not higher than 234 mm.
  • For books and book-sized journals, the figures should be 80 mm or 122 mm wide and not higher than 198 mm.

Permissions

If you include figures that have already been published elsewhere, you must obtain permission from the copyright owner(s) for both the print and online format. Please be aware that some publishers do not grant electronic rights for free and that Springer will not be able to refund any costs that may have occurred to receive these permissions. In such cases, material from other sources should be used.

Accessibility

In order to give people of all abilities and disabilities access to the content of your figures, please make sure that
  • All figures have descriptive captions (blind users could then use a text-to-speech software or a text-to-Braille hardware)
  • Patterns are used instead of or in addition to colors for conveying information (colorblind users would then be able to distinguish the visual elements)
  • Any figure lettering has a contrast ratio of at least 4.5:1

Electronic Supplementary Material 

Springer accepts electronic multimedia files (animations, movies, audio, etc.) and other supplementary files to be published online along with an article or a book chapter. This feature can add dimension to the author's article, as certain information cannot be printed or is more convenient in electronic form.
Before submitting research datasets as electronic supplementary material, authors should read the journal’s Research data policy. We encourage research data to be archived in data repositories wherever possible.

Submission

  • Supply all supplementary material in standard file formats.
  • Please include in each file the following information: article title, journal name, author names; affiliation and e-mail address of the corresponding author.
  • To accommodate user downloads, please keep in mind that larger-sized files may require very long download times and that some users may experience other problems during downloading.

Audio, Video, and Animations

  • Aspect ratio: 16:9 or 4:3
  • Maximum file size: 25 GB
  • Minimum video duration: 1 sec
  • Supported file formats: avi, wmv, mp4, mov, m2p, mp2, mpg, mpeg, flv, mxf, mts, m4v, 3gp

Text and Presentations

  • Submit your material in PDF format; .doc or .ppt files are not suitable for long-term viability.
  • A collection of figures may also be combined in a PDF file.

Spreadsheets

  • Spreadsheets should be submitted as .csv or .xlsx files (MS Excel).

Specialized Formats

  • Specialized format such as .pdb (chemical), .wrl (VRML), .nb (Mathematica notebook), and .tex can also be supplied.

Collecting Multiple Files

  • It is possible to collect multiple files in a .zip or .gz file.

Numbering

  • If supplying any supplementary material, the text must make specific mention of the material as a citation, similar to that of figures and tables.
  • Refer to the supplementary files as “Online Resource”, e.g., "... as shown in the animation (Online Resource 3)", “... additional data are given in Online Resource 4”.
  • Name the files consecutively, e.g. “ESM_3.mpg”, “ESM_4.pdf”.

Captions

  • For each supplementary material, please supply a concise caption describing the content of the file.

Processing of supplementary files

  • Electronic supplementary material will be published as received from the author without any conversion, editing, or reformatting.

Accessibility

In order to give people of all abilities and disabilities access to the content of your supplementary files, please make sure that
  • The manuscript contains a descriptive caption for each supplementary material
  • Video files do not contain anything that flashes more than three times per second (so that users prone to seizures caused by such effects are not put at risk)

English Language Editing 

For editors and reviewers to accurately assess the work presented in your manuscript you need to ensure the English language is of sufficient quality to be understood. If you need help with writing in English you should consider:
  • Asking a colleague who is a native English speaker to review your manuscript for clarity.
  • Visiting the English language tutorial which covers the common mistakes when writing in English.
  • Using a professional language editing service where editors will improve the English to ensure that your meaning is clear and identify problems that require your review. Two such services are provided by our affiliates Nature Research Editing Service and American Journal Experts.
Please note that the use of a language editing service is not a requirement for publication in this journal and does not imply or guarantee that the article will be selected for peer review or accepted.
If your manuscript is accepted it will be checked by our copyeditors for spelling and formal style before publication.

.

为便于编辑和评审专家准确评估您稿件中陈述的研究工作,您需要确保您的英语语言质量足以令人理解。如果您需要英文写作方面的帮助,您可以考虑:
● 请一位以英语为母语的同事审核您的稿件是否表意清晰。
● 查看一些有关英语写作中常见语言错误的教程。
● 使用专业语言编辑服务,编辑人员会对英语进行润色,以确保您的意思表达清晰,并识别需要您复核的问题。我们的附属机构 Nature Research Editing Service 和合作伙伴 American Journal Experts 即可提供此类服务。
请注意,使用语言编辑服务并非在期刊上发表文章的必要条件,同时也并不意味或保证文章将被选中进行同行评议或被接受。
如果您的稿件被接受,在发表之前,我们的文字编辑会检查您的文稿拼写是否规范以及文体是否正式。

.

エディターと査読者があなたの論文を正しく評価するには、使用されている英語の質が十分に高いことが必要とされます。英語での論文執筆に際してサポートが必要な場合には、次のオプションがあります:
・英語を母国語とする同僚に、原稿で使用されている英語が明確であるかをチェックしてもらう。
・英語で執筆する際のよくある間違いに関する英語のチュートリアルを参照する。
・プロの英文校正サービスを利用する。校正者が原稿の意味を明確にしたり、問題点を指摘し、英語を向上させます。Nature Research Editing Service とAmerican Journal Experts の2つは弊社と提携しているサービスです。
英文校正サービスの利用は、このジャーナルに掲載されるための条件ではないこと、また論文審査や受理を保証するものではないことに留意してください。
原稿が受理されますと、出版前に弊社のコピーエディターがスペルと体裁のチェックを行います。

.

영어 원고의 경우, 에디터 및 리뷰어들이 귀하의 원고에 실린 결과물을 정확하게 평가할 수 있도록, 그들이 충분히 이해할 수 있을 만한 수준으로 작성되어야 합니다. 만약 영작문과 관련하여 도움을 받기를 원하신다면 다음의 사항들을 고려하여 주십시오:
• 귀하의 원고의 표현을 명확히 해줄 영어 원어민 동료를 찾아서 리뷰를 의뢰합니다.
• 영어 튜토리얼 페이지에 방문하여 영어로 글을 쓸 때 자주하는 실수들을 확인합니다.
• 리뷰에 대비하여, 원고의 의미를 명확하게 해주고 리뷰에서 요구하는 문제점들을 식별해서 영문 수준을 향상시켜주는 전문 영문 교정 서비스를 이용합니다. Nature Research Editing Service와 American Journal Experts에서 저희와 협약을 통해 서비스를 제공하고 있습니다.
영문 교정 서비스는 게재를 위한 요구사항은 아니며, 해당 서비스의 이용이 피어 리뷰에 논문이 선택되거나 게재가 수락되는 것을 의미하거나 보장하지 않습니다.
원고가 수락될 경우, 출판 전 저희측 편집자에 의해 원고의 철자 및 문체를 검수하는 과정을 거치게 됩니다.

Ethical Responsibilities of Authors 

This journal is committed to upholding the integrity of the scientific record. As a member of the Committee on Publication Ethics (COPE) the journal will follow the COPE guidelines on how to deal with potential acts of misconduct.
Authors should refrain from misrepresenting research results which could damage the trust in the journal, the professionalism of scientific authorship, and ultimately the entire scientific endeavour. Maintaining integrity of the research and its presentation can be achieved by following the rules of good scientific practice, which include:
  • The manuscript has not been submitted to more than one journal for simultaneous consideration.
  • The manuscript has not been published previously (partly or in full), unless the new work concerns an expansion of previous work (please provide transparency on the re-use of material to avoid the hint of text-recycling (“self-plagiarism”)).
  • A single study is not split up into several parts to increase the quantity of submissions and submitted to various journals or to one journal over time (e.g. “salami-publishing”).
  • No data have been fabricated or manipulated (including images) to support your conclusions
  • No data, text, or theories by others are presented as if they were the author’s own (“plagiarism”). Proper acknowledgements to other works must be given (this includes material that is closely copied (near verbatim), summarized and/or paraphrased), quotation marks are used for verbatim copying of material, and permissions are secured for material that is copyrighted.
    Important note: the journal may use software to screen for plagiarism.
  • Consent to submit has been received explicitly from all co-authors, as well as from the responsible authorities - tacitly or explicitly - at the institute/organization where the work has been carried out, before the work is submitted.
  • Authors whose names appear on the submission have contributed sufficiently to the scientific work and therefore share collective responsibility and accountability for the results.
  • Authors are strongly advised to ensure the correct author group, corresponding author, and order of authors at submission. Changes of authorship or in the order of authors are not accepted after acceptance of a manuscript.
  • Adding and/or deleting authors at revision stage may be justifiably warranted. A letter must accompany the revised manuscript to explain the role of the added and/or deleted author(s). Further documentation may be required to support your request.
  • Requests for addition or removal of authors as a result of authorship disputes after acceptance are honored after formal notification by the institute or independent body and/or when there is agreement between all authors.
  • Upon request authors should be prepared to send relevant documentation or data in order to verify the validity of the results. This could be in the form of raw data, samples, records, etc. Sensitive information in the form of confidential proprietary data is excluded.
If there is a suspicion of misconduct, the journal will carry out an investigation following the COPE guidelines. If, after investigation, the allegation seems to raise valid concerns, the accused author will be contacted and given an opportunity to address the issue. If misconduct has been established beyond reasonable doubt, this may result in the Editor-in-Chief’s implementation of the following measures, including, but not limited to:
  • If the article is still under consideration, it may be rejected and returned to the author.
  • If the article has already been published online, depending on the nature and severity of the infraction, either an erratum will be placed with the article or in severe cases complete retraction of the article will occur. The reason must be given in the published erratum or retraction note. Please note that retraction means that the paper is maintained on the platform, watermarked "retracted" and explanation for the retraction is provided in a note linked to the watermarked article.
  • The author’s institution may be informed.

After acceptance 

Upon acceptance of your article you will receive a link to the special Author Query Application at Springer’s web page where you can sign the Copyright Transfer Statement online and indicate whether you wish to order OpenChoice and offprints. Once the Author Query Application has been completed, your article will be processed and you will receive the proofs.

Copyright transfer

Authors will be asked to transfer copyright of the article to the Publisher (or grant the Publisher exclusive publication and dissemination rights). This will ensure the widest possible protection and dissemination of information under copyright laws.

Offprints

Offprints can be ordered by the corresponding author.

Color illustrations

Color figures will always be published in color in the online version. In print, however, they will appear in black and white.

Proof reading

The purpose of the proof is to check for typesetting or conversion errors and the completeness and accuracy of the text, tables and figures. Substantial changes in content, e.g., new results, corrected values, title and authorship, are not allowed without the approval of the Editor.
After online publication, further changes can only be made in the form of an Erratum, which will be hyperlinked to the article.

Online First

The article will be published online after receipt of the corrected proofs. This is the official first publication citable with the DOI. After release of the printed version, the paper can also be cited by issue and page numbers.

Open Choice 

In addition to the normal publication process (whereby an article is submitted to the journal and access to that article is granted to customers who have purchased a subscription), Springer provides an alternative publishing option: Springer Open Choice. A Springer Open Choice article receives all the benefits of a regular subscription-based article, but in addition is made available publicly through Springer’s online platform SpringerLink.

Copyright and license term – CC BY

Open Choice articles do not require transfer of copyright as the copyright remains with the author. In opting for open access, the author(s) agree to publish the article under the Creative Commons Attribution License.

Read this Journal on Springerlink

For authors and editors


  • Journal Citation Reports®
    2016 Impact Factor
  • 1.041
  • Aims and Scope

    Aims and Scope

    Close

    This journal aims to publish contributions at the junction of theory and practice.  The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

    The term "formal methods" has been applied to a range of notations, theories and tools.  There is no doubt that some of these have already had a significant impact on practical applications of computing.  Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.  Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.  However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication.

    In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems.  One significant challenge is to show how a range of formal models can be related to each other.

    In particular, the scope of Formal Aspects of Computing includes,
    • well-founded notations for the description of systems
    • verifiable design methods
    • elucidation of fundamental computational concepts
    • approaches to fault-tolerant design
    • theorem-proving support
    • state-exploration tools
    • formal underpinning of widely used notations and methods
    • formal approaches to requirements analysis


    Normal scientific standards are expected of all contributors: papers must be soundly based, place their contribution in context and provide adequate references.  Material which is already widely available (e.g. as conference proceedings) will not normally be considered unless the work has been further developed and refined.

     

  • Submit Online
  • Open Choice - Your Way to Open Access
  • Instructions for Authors

    Instructions for Authors

    Close

  • Author Academy: Training for Authors
  • English Language Editing

    English Language Editing

    Close

  • Copyright Information

    Copyright Information

    Close

    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
     

Alerts for this journal

 

Get the table of contents of every new issue published in Formal Aspects of Computing.