Skip to main content
SpringerLink
Log in
Springer
Formal Aspects of Computing

Applicable Formal Methods

Publishing model:
Hybrid
Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles

Volume 21, Issue 4

August 2009

Special Issue: Concurrency and Real-Time for Eiffel-like Languages

5 articles in this issue

  1. Editorial

    • Richard F. Paige
    • Phillip J. Brooke
    Editorial 16 June 2009 Pages: 303 - 303

  2. Contracts for concurrency

    • Piotr Nienaltowski
    • Bertrand Meyer
    • Jonathan S. Ostroff
    Original Article 04 January 2008 Pages: 305 - 318

Search

Navigation