Institution Morphisms

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: Joseph Goguen | Grigore Roşu

Testing restorable systems: formal definition and heuristic solution based on river formation dynamics

JOURNAL ARTICLE published September 2013 in Formal Aspects of Computing

Authors: Pablo Rabanal | Ismael Rodríguez | Fernando Rubio

Reasoning about goal-directed real-time teleo-reactive programs

JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing

Authors: Brijesh Dongol | Ian J. Hayes | Peter J. Robinson

John McCarthy (1927–2011)

JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing

Authors: Cliff B. Jones

Analysing neurobiological models using communicating automata

JOURNAL ARTICLE published November 2014 in Formal Aspects of Computing

Authors: Li Su | Rodolfo Gomez | Howard Bowman

Editorial

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Jim Woodcock | Cliff Jones

Abstractions of non-interference security: probabilistic versus possibilistic

JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing

Authors: T. S. Hoang | A. K. McIver | L. Meinicke | C. C. Morgan | A. Sloane | E. Susatyo

Refinement concepts formalised in higher order logic

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: R. J. R. Back | J. von Wright

A single complete rule for data refinement

JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing

Authors: P. H. B. Gardiner | Carroll Morgan

Review on Theories of Programming: The Life and Works of Tony Hoare

JOURNAL ARTICLE published 31 December 2022 in Formal Aspects of Computing

Authors: Jonathan P. Bowen

Refinement algebra for probabilistic programs

JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing

Authors: Larissa Meinicke | Kim Solin

Verification of distributed systems with local–global predicates

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: K. Mani Chandy | Brian Go | Sayan Mitra | Concetta Pilotto | Jerome White

Retrenchment for Event-B: UseCase-wise development and Rodin integration

JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing

Authors: Richard Banach

Program morphisms

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: C. T. P. Burton

Refinement for user interface designs

JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing

Authors: Judy Bowen | Steve Reeves

An algebraic characterisation of elementary net system (observable) state space

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: L. Pomello | C. Simone

The RISC ProofNavigator: a proving assistant for program verification in the classroom

JOURNAL ARTICLE published May 2009 in Formal Aspects of Computing

Authors: Wolfgang Schreiner

Minimal refinements of specifications in modal and temporal logics

JOURNAL ARTICLE published November 2007 in Formal Aspects of Computing

Authors: Nikos Gorogiannis | Mark Ryan

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