Volume 20, Issue 4-5

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

July 2008

8 articles in this issue

Guest Editorial
Kamel Barkaoui
Manfred Broy
Antonio Cerone
Editorial 11 June 2008 Pages: 349 - 350
Bisimulations in calculi modelling membranes
Roberto Barbuti
Andrea Maggiolo-Schettini
Angelo Troina
Original Article 11 March 2008 Pages: 351 - 377
Property-directed incremental invariant generation
Aaron R. Bradley
Zohar Manna
Original Article 29 April 2008 Pages: 379 - 405
Reachability analysis of fragments of mobile ambients in AC term rewriting
Giorgio Delzanno
Roberto Montagna
Original Article 07 May 2008 Pages: 407 - 428
A compositional Petri net translation of general π-calculus terms
Raymond Devillers
Hanna Klaudel
Maciej Koutny
Original Article 29 April 2008 Pages: 429 - 450
Capture-avoiding substitution as a nominal algebra
Murdoch J. Gabbay
Aad Mathijssen
Original Article 15 January 2008 Pages: 451 - 479
Model checking Duration Calculus: a practical approach
Roland Meyer
Johannes Faber
Andrey Rybalchenko
Original Article Open access 06 May 2008 Pages: 481 - 505
Deductive verification of alternating systems
Matteo Slanina
Henny B. Sipma
Zohar Manna
Original Article 24 April 2008 Pages: 507 - 560

Volume 20, Issue 4-5

Search

Navigation