Unifying theories in ProofPower-Z

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Authors: Marcel Oliveira | Ana Cavalcanti | Jim Woodcock

Essential concepts of algebraic specification and program development

JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing

Authors: Donald Sannella | Andrzej Tarlecki

Forthcoming events

JOURNAL ARTICLE published January 1991 in Formal Aspects of Computing

On Jan L. A. van de Snepscheut's “The Sliding-Window Protocol Revisited”

JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing

Authors: H. Peter Hofstee

Specification by interface separation

JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing

Authors: I. J. Hayes | J. W. Sanders

Book reviews

JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing

Authors: M. D. Atkinson | David Lester | Lawrence C. Paulson

Stream-Based Specification of Mobile Systems

JOURNAL ARTICLE published September 2001 in Formal Aspects of Computing

Authors: Radu Grosu | Ketil Stølen

Symbolic Approaches to Probability Distributions in Process Algebra

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: C. Tofts

Editorial

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Cliff Jones

Book reviews

JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing

Authors: Tony Davie | Simon Brock

On simulation, subtyping and substitutability in sequential object systems

JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing

Authors: Ian Maung

A model checker for linear time temporal logic

JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing

Authors: Michael Fisher

A transformation-based synthesis of temporal specifications

JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing

Authors: Philippe Noël

An approach to literate and structured formal developments

JOURNAL ARTICLE published January 1996 in Formal Aspects of Computing

Authors: Martin Simons | Matthias Weber

On equivalence-completions of fairness assumptions

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: Nissim Francez | Ralph -J. J. Back | Reino Kurki-Suonio

Generating certified code from formal proofs: a case study in homological algebra

JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing

Authors: Jesús Aransay | Clemens Ballarin | Julio Rubio

Preface

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: P. Höfner

Formal probabilistic analysis of detection properties in wireless sensor networks

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

Authors: Maissa Elleuch | Osman Hasan | Sofiène Tahar | Mohamed Abid

External and internal choice with event groups in Event-B

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Michael Butler

Editorial

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Eerke Boiten | John Derrick | Jin Song Dong | Steve Reeves