Volume 19, Issue 4

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

November 2007

7 articles in this issue

Editorial
Cliff Jones
Jim Woodcock
Editorial 05 October 2007 Pages: 415 - 416
Minimal refinements of specifications in modal and temporal logics
Nikos Gorogiannis
Mark Ryan
ORIGINAL ARTICLE 29 June 2007 Pages: 417 - 444
Thread algebra for strategic interleaving
J. A. Bergstra
C. A. Middelburg
ORIGINAL ARTICLE Open access 22 February 2007 Pages: 445 - 474
Deciding orthogonal bisimulation
Thuy Duong Vu
ORIGINAL ARTICLE Open access 10 March 2007 Pages: 475 - 485
A CSP model of Eiffel’s SCOOP
Phillip J. Brooke
Richard F. Paige
Jeremy L. Jacob
Original Article 17 May 2007 Pages: 487 - 512
An approach to formal verification of human–computer interaction
Paul Curzon
Rimvydas Rukšėnas
Ann Blandford
ORIGINAL ARTICLE 02 June 2007 Pages: 513 - 550
Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences
Matthew Collinson
David Pym
Chris Tofts
Erratum 19 September 2007 Pages: 551 - 554

Volume 19, Issue 4

Editorial

Minimal refinements of specifications in modal and temporal logics

Thread algebra for strategic interleaving

Deciding orthogonal bisimulation

A CSP model of Eiffel’s SCOOP

An approach to formal verification of human–computer interaction

Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences

Navigation