Helen Treharne

Available identifiers

Publication	Date of Publication	Type
Anonymous single-sign-on for \(n\) designated services with traceability	2022-08-25	Paper
Foundations for using linear temporal logic in Event-B refinement	2016-10-28	Paper
The behavioural semantics of Event-B refinement	2016-08-05	Paper
Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking	2013-12-04	Paper
Changing system interfaces consistently: a new refinement strategy for CSP\(\\|\)B	2011-07-18	Paper
Integrated Formal Methods	2009-05-07	Paper
Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B	2009-02-24	Paper
Chunks: Component Verification in CSP ∥ B	2007-11-29	Paper
Interactive tool support for CSP \(\parallel\) B consistency checking	2007-09-06	Paper
Tank monitoring: A pAMN case study	2006-11-17	Paper
CSP theorems for communicating B machines	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4808852	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472199	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436957	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4494259	2000-08-10	Paper

This page was built for person: Helen Treharne