Abstraction and Testing in CSP

JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing

Authors: Steve Schneider

Program verification with interacting analysis plugins

JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing

Authors: Nathaniel Charlton

Preface

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Relating trace refinement and linearizability

JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing

Research funded by Australian Research Council (DP160102457,DP130102901)

Authors: Graeme Smith | Kirsten Winter

Correct-by-construction model driven engineering composition operators

JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing

Authors: Mounira Kezadri Hamiaz | Marc Pantel | Xavier Thirioux | Benoit Combemale

Modeling and validating Mondex scenarios described in UML and OCL with USE

JOURNAL ARTICLE published January 2008 in Formal Aspects of Computing

Authors: Mirco Kuhlmann | Martin Gogolla

Atomic actions, and their refinements to isolated protocols

JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing

Authors: Richard Banach | Gerhard Schellhorn

Special section of Tests and Proofs 2016

JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing

Authors: Bernhard K. Aichernig | Carlo A. Furia | Marie-Claude Gaudel | Rob Hierons

Capture-avoiding substitution as a nominal algebra

JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing

Authors: Murdoch J. Gabbay | Aad Mathijssen

Gerard O’Regan: Concise Guide to FormalMethods: Theory, Fundamentals and IndustryApplications

JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing

Authors: Jonathan P. Bowen

Communicating processes with value-passing and assignments

JOURNAL ARTICLE published September 1993 in Formal Aspects of Computing

Authors: M. Hennessy | A. Ingólfsdóttir

Probabilistic Bigraphs

JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/N007565/1) | S4: Science of Sensor Systems Software, and by PETRAS SRF (EP/S035362/1)

Authors: Blair Archibald | Muffy Calder | Michele Sevegnani

Synthesizing bounded-time 2-phase fault recovery

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

Authors: Borzoo Bonakdarpour | Sandeep S. Kulkarni

Architectural refinement and notions of intransitive noninterference

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Ron van der Meyden

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

Deterministic concurrent strategies

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Glynn Winskel

Balancing expressiveness in formal approaches to concurrency

JOURNAL ARTICLE published May 2015 in Formal Aspects of Computing

Authors: Cliff B. Jones | Ian J. Hayes | Robert J. Colvin

Investigating the Integration of two Formal Methods

JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing

Authors: Juan Bicarregui | Brian Matthews | Brian Ritchie | Sten Agerholm

Graph Transformation Units with Interleaving Semantics

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Hans-Jörg Kreowski | Sabine Kuske