Volume 25, Issue 1

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

January 2013

7 articles in this issue

Preface

Events 15 December 2012 Pages: 1 - 2
Checking noninterference in Timed CSP
A. W. Roscoe
Jian Huang
Original Article 29 June 2012 Pages: 3 - 35
The Safety-Critical Java memory model formalised
Ana Cavalcanti
Andy Wellings
Jim Woodcock
Original Article 29 June 2012 Pages: 37 - 57
Security invariants in discrete transition systems
Thai Son Hoang
OriginalPaper 29 June 2012 Pages: 59 - 87
Semantic inheritance in unifying theories of programming
Yifeng Chen
Original Article 13 November 2007 Pages: 89 - 106
A unification of probabilistic choice within a design-based model of reversible computation
Bill Stoddart
Frank Zeyda
Original Article 13 November 2007 Pages: 107 - 131
Unifying theories in ProofPower-Z
Marcel Oliveira
Ana Cavalcanti
Jim Woodcock
Original Article 03 August 2007 Pages: 133 - 158

Volume 25, Issue 1

Preface

Checking noninterference in Timed CSP

The Safety-Critical Java memory model formalised

Security invariants in discrete transition systems

Semantic inheritance in unifying theories of programming

A unification of probabilistic choice within a design-based model of reversible computation

Unifying theories in ProofPower-Z

Search

Navigation