Refine@IFM

Publications

2013

Brijesh Dongol, John Derrick
Data refinement for true concurrency Refine@IFM (2013)
Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
Modelling and Refinement in CODA Refine@IFM (2013)
Frank Zeyda, Ana Cavalcanti
Refining SCJ Mission Specifications into Parallel Handler Designs Refine@IFM (2013)
Nuno Amálio
Relaxing Behavioural Inheritance Refine@IFM (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Bisimilarity and refinement for hybrid(ised) logics Refine@IFM (2013)
Emil Sekerinski, Tian Zhang
On a New Notion of Partial Refinement Refine@IFM (2013)

volume 115, 2013

Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Refine@IFM 115 (2013)