Formal Aspects of Computing

Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017)

Relating trace refinement and linearizability

Graeme Smith, Kirsten Winter

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga

A verification and deployment approach for elastic component-based applications

Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata

Simulation relations for fault-tolerance

Ramiro Demasi, Pablo F. Castro, Thomas S. E. Maibaum, Nazareno Aguirre

Modeling and efficient verification of wireless ad hoc networks

Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi

Dynamic intransitive noninterference revisited

Sebastian Eggert, Ron van der Meyden

The Turing Guide

Cliff B. Jones