default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/refine:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-1810-09610,
author = {Eric C. R. Hehner},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {A Theory of Lazy Imperative Timing},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {1--9},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.1},
doi = {10.4204/EPTCS.282.1},
timestamp = {Sun, 25 Jul 2021 11:39:08 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09611,
author = {Ian J. Hayes},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Some Challenges of Specifying Concurrent Program Components},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {10--22},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.2},
doi = {10.4204/EPTCS.282.2},
timestamp = {Tue, 04 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09612,
author = {Graeme Smith and
Kirsten Winter and
Robert J. Colvin},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Correctness of Concurrent Objects under Weak Memory Models},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {53--67},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.5},
doi = {10.4204/EPTCS.282.5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09613,
author = {Emil Sekerinski and
Shucai Yao},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Refining Santa: An Exercise in Efficient Synchronization},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {68--86},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.6},
doi = {10.4204/EPTCS.282.6},
timestamp = {Tue, 04 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09615,
author = {Mathieu Montin and
Marc Pantel},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Ordering Strict Partial Orders to Model Behavioral Refinement},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {23--38},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.3},
doi = {10.4204/EPTCS.282.3},
timestamp = {Tue, 04 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09616,
author = {Marwa Benabdelali and
Lamia Labed Jilani and
Wided Ghardallou and
Ali Mili},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Programming Without Refining},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {39--52},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.4},
doi = {10.4204/EPTCS.282.4},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-08739,
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282},
doi = {10.4204/EPTCS.282},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DerrickBR16,
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.209},
doi = {10.4204/EPTCS.209},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DerrickBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Boiten16,
author = {Eerke A. Boiten},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Big Data Refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {17--23},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.2},
doi = {10.4204/EPTCS.209.2},
timestamp = {Sun, 25 Jul 2021 11:39:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/Boiten16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DialloGDM16,
author = {Nafi Diallo and
Wided Ghardallou and
Jules Desharnais and
Ali Mili},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Program Derivation by Correctness Enhacements},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {57--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.5},
doi = {10.4204/EPTCS.209.5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DialloGDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DongolG16a,
author = {Brijesh Dongol and
Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Towards linking correctness conditions for concurrent objects and
contextual trace refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {107--111},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.8},
doi = {10.4204/EPTCS.209.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DongolG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FayolleFLG16,
author = {Thomas Fayolle and
Marc Frappier and
R{\'{e}}gine Laleau and
Fr{\'{e}}d{\'{e}}ric Gervais},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Formal refinement of extended state machines},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {1--16},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.1},
doi = {10.4204/EPTCS.209.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FayolleFLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KoenigL16,
author = {Jason Koenig and
K. Rustan M. Leino},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Programming Language Features for Refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {87--106},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.7},
doi = {10.4204/EPTCS.209.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoenigL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MadeiraMB16,
author = {Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {A logic for n-dimensional hierarchical refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {40--56},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.4},
doi = {10.4204/EPTCS.209.4},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MadeiraMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiyazawaC16,
author = {Alvaro Miyazawa and
Ana Cavalcanti},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {SCJ-Circus: a refinement-oriented formal notation for Safety-Critical
Java},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {71--86},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.6},
doi = {10.4204/EPTCS.209.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiyazawaC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NeoviusPS16,
author = {Mats Neovius and
Luigia Petre and
Kaisa Sere},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {A Theory of Service Dependency},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {112--128},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.9},
doi = {10.4204/EPTCS.209.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeoviusPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ngondi16,
author = {Gerard Ekembe Ngondi},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Unifying Theories of Mobile Channels},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {24--39},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.3},
doi = {10.4204/EPTCS.209.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ngondi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4090,
author = {Maria Teresa Llano and
Andrew Ireland and
Alison Pease},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Discovery of Invariants through Automated Theory Formation},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.1},
doi = {10.4204/EPTCS.55.1},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4091,
author = {Gian Perrone and
S{\o}ren Debois and
Thomas T. Hildebrandt},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Bigraphical Refinement},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {20--36},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.2},
doi = {10.4204/EPTCS.55.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4092,
author = {John Derrick and
Siobh{\'{a}}n North and
Anthony J. H. Simons},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Building a refinement checker for {Z}},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {37--52},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.3},
doi = {10.4204/EPTCS.55.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4093,
author = {C{\'{e}}sar Jesus Rodrigues and
Manuel A. Martins and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Refinement by interpretation in {\(\pi\)}-institutions},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {53--64},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.4},
doi = {10.4204/EPTCS.55.4},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4094,
author = {Alvaro Miyazawa and
Ana Cavalcanti},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Refinement-based verification of sequential implementations of Stateflow
charts},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {65--83},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.5},
doi = {10.4204/EPTCS.55.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4095,
author = {Steve Reeves and
David Streader},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Refinement for Probabilistic Systems with Nondeterminism},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {84--100},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.6},
doi = {10.4204/EPTCS.55.6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4096,
author = {Ukachukwu Ndukwu and
Annabelle McIver},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Model exploration and analysis for quantitative safety refinement
in probabilistic {B}},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {101--120},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.7},
doi = {10.4204/EPTCS.55.7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4097,
author = {Richard Banach and
Huibiao Zhu and
Wen Su and
Runlei Huang},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Formalising the Continuous/Discrete Modeling Step},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {121--138},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.8},
doi = {10.4204/EPTCS.55.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4098,
author = {Steve A. Schneider and
Helen Treharne and
Heike Wehrheim},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {A {CSP} Account of Event-B Refinement},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {139--154},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.9},
doi = {10.4204/EPTCS.55.9},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4099,
author = {Eerke A. Boiten},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Perspicuity and Granularity in Refinement},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {155--165},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.10},
doi = {10.4204/EPTCS.55.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4100,
author = {Pontus Bostr{\"{o}}m and
Fredrik Degerlund and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Concurrent Scheduling of Event-B Models},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {166--182},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.11},
doi = {10.4204/EPTCS.55.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1106-3488,
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55},
doi = {10.4204/EPTCS.55},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenDR09,
author = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Preface},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {1},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.013},
doi = {10.1016/J.ENTCS.2009.12.013},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickB09,
author = {John Derrick and
Eerke A. Boiten},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Relational Concurrent Refinement: Automata},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {21--34},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.015},
doi = {10.1016/J.ENTCS.2009.12.015},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DerrickB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dunne09,
author = {Steve Dunne},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Of wlp and {CSP}},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {35--45},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.016},
doi = {10.1016/J.ENTCS.2009.12.016},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dunne09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hallerstede09,
author = {Stefan Hallerstede},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Proving Quicksort Correct in Event-B},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {47--65},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.017},
doi = {10.1016/J.ENTCS.2009.12.017},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hallerstede09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HesselinkL09,
author = {Wim H. Hesselink and
Muhammad Ikram Ullah Lali},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Formalizing a Hierarchical File System},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {67--85},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.018},
doi = {10.1016/J.ENTCS.2009.12.018},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HesselinkL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HowseSSO09,
author = {John Howse and
Steve Schuman and
Gem Stapleton and
Ian Oliver},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Diagrammatic Formal Specification of a Configuration Control Platform},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {87--104},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.019},
doi = {10.1016/J.ENTCS.2009.12.019},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HowseSSO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinsMB09,
author = {Manuel A. Martins and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Refinement by Interpretation in a General Setting},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {105--121},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.020},
doi = {10.1016/J.ENTCS.2009.12.020},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinsMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Morgan09,
author = {Carroll Morgan},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {How to Brew-up a Refinement Ordering},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {123--141},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.021},
doi = {10.1016/J.ENTCS.2009.12.021},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Morgan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PreoteasaB09,
author = {Viorel Preoteasa and
Ralph{-}Johan Back},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Data Refinement of Invariant Based Programs},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {143--163},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.022},
doi = {10.1016/J.ENTCS.2009.12.022},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PreoteasaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RabehajaS09,
author = {T. M. Rabehaja and
Jeff W. Sanders},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Data Refinement with Probability in Mind},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {165--176},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.023},
doi = {10.1016/J.ENTCS.2009.12.023},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RabehajaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReevesS09,
author = {Steve Reeves and
David Streader},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Guarded Operations, Refinement and Simulation},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {177--191},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.024},
doi = {10.1016/J.ENTCS.2009.12.024},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReevesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RodriguesOB09,
author = {C{\'{e}}sar Jesus Rodrigues and
Jos{\'{e}} Nuno Oliveira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {A Single Complete Relational Rule for Coalgebraic Refinement},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {3--19},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.014},
doi = {10.1016/J.ENTCS.2009.12.014},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RodriguesOB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RuhrothW09,
author = {Thomas Ruhroth and
Heike Wehrheim},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Static Class Elements for Object-Z},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {193--205},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.025},
doi = {10.1016/J.ENTCS.2009.12.025},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RuhrothW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SandersS09,
author = {Jeff W. Sanders and
Graeme Smith},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Refining Emergent Properties},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {207--223},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.026},
doi = {10.1016/J.ENTCS.2009.12.026},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SandersS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZeydaOC09,
author = {Frank Zeyda and
Marcel Oliveira and
Ana Cavalcanti},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Supporting ArcAngel in ProofPower},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {225--243},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.027},
doi = {10.1016/J.ENTCS.2009.12.027},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZeydaOC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2009,
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/259/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenDS08a,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Preface},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {1},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.001},
doi = {10.1016/J.ENTCS.2008.06.001},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChoppyMP08,
author = {Christine Choppy and
Micaela Mayero and
Laure Petrucci},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Experimenting Formal Proofs of Petri Nets Refinements},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {231--254},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.011},
doi = {10.1016/J.ENTCS.2008.06.011},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChoppyMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickB08,
author = {John Derrick and
Eerke A. Boiten},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {More Relational Concurrent Refinement: Traces and Partial Relations},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {255--276},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.012},
doi = {10.1016/J.ENTCS.2008.06.012},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DerrickB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdmundsB08,
author = {Andrew Edmunds and
Michael J. Butler},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Linking Event-B and Concurrent Object-Oriented Programs},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {159--182},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.008},
doi = {10.1016/J.ENTCS.2008.06.008},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdmundsB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EstlerW08,
author = {H.{-}Christian Estler and
Heike Wehrheim},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Alloy as a Refactoring Checker?},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {331--357},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.015},
doi = {10.1016/J.ENTCS.2008.06.015},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EstlerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Evans08,
author = {Neil Evans},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Refinement for Pipelining in Event-B},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {183--202},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.009},
doi = {10.1016/J.ENTCS.2008.06.009},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Evans08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hesselink08,
author = {Wim H. Hesselink},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Simulation Refinement for Concurrency Verification},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {3--23},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.002},
doi = {10.1016/J.ENTCS.2008.06.002},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hesselink08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Madeira08,
author = {Alexandre Madeira},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Observational Refinement Process},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {103--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.006},
doi = {10.1016/J.ENTCS.2008.06.006},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Madeira08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraC08,
author = {Marcel Oliveira and
Ana Cavalcanti},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {ArcAngelC: a Refinement Tactic Language for Circus},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {203--229},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.010},
doi = {10.1016/J.ENTCS.2008.06.010},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReevesS08a,
author = {Steve Reeves and
David Streader},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {General Refinement, Part One: Interfaces, Determinism and Special
Refinement},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {277--307},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.013},
doi = {10.1016/J.ENTCS.2008.06.013},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReevesS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReevesS08b,
author = {Steve Reeves and
David Streader},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {General Refinement, Part Two: Flexible Refinement},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {309--329},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.014},
doi = {10.1016/J.ENTCS.2008.06.014},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReevesS08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schellhorn08,
author = {Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Completeness of {ASM} Refinement},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {25--49},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.003},
doi = {10.1016/J.ENTCS.2008.06.003},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schellhorn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sekerinski08,
author = {Emil Sekerinski},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {An Algebraic Approach to Refinement with Fair Choice},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {51--79},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.004},
doi = {10.1016/J.ENTCS.2008.06.004},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sekerinski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SmithM08,
author = {Graeme Smith and
Tim McComb},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Refactoring Real-time Specifications},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {359--380},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.016},
doi = {10.1016/J.ENTCS.2008.06.016},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SmithM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spichkova08,
author = {Maria Spichkova},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Refinement-Based Verification of Interactive Real-Time Systems},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {131--157},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.007},
doi = {10.1016/J.ENTCS.2008.06.007},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spichkova08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Struth08,
author = {Georg Struth},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Modal Tools for Separation and Refinement},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {81--101},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.005},
doi = {10.1016/J.ENTCS.2008.06.005},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Struth08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2007,
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/201/suppl/C},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2008,
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/214/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanachS08,
author = {Richard Banach and
Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {On the Refinement of Atomic Actions},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {3--30},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.013},
doi = {10.1016/J.ENTCS.2008.02.013},
timestamp = {Thu, 09 Feb 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanachS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenDS08,
author = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Preface},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {1},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.012},
doi = {10.1016/J.ENTCS.2008.02.012},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenG08,
author = {Eerke A. Boiten and
Dan Grundy},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Reduction and Refinement},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {31--44},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.014},
doi = {10.1016/J.ENTCS.2008.02.014},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickS08,
author = {John Derrick and
Graeme Smith},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Using Model Checking to Automatically Find Retrieve Relations},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {155--175},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.019},
doi = {10.1016/J.ENTCS.2008.02.019},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DerrickS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EvansG08,
author = {Neil Evans and
Neil Grant},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Towards the Formal Verification of a Java Processor in Event-B},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {45--67},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.015},
doi = {10.1016/J.ENTCS.2008.02.015},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EvansG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Groves08,
author = {Lindsay Groves},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Trace-based Derivation of a Lock-Free Queue Algorithm},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {69--98},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.016},
doi = {10.1016/J.ENTCS.2008.02.016},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Groves08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HofnerS08,
author = {Peter H{\"{o}}fner and
Georg Struth},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Can Refinement be Automated?},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {197--222},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.021},
doi = {10.1016/J.ENTCS.2008.02.021},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HofnerS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeinickeS08,
author = {Larissa Meinicke and
Kim Solin},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Refinement Algebra for Probabilistic Programs},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {177--195},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.020},
doi = {10.1016/J.ENTCS.2008.02.020},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MeinickeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mooij08,
author = {Arjan J. Mooij},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Constructing and Reasoning About Security Protocols Using Invariants},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {99--126},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.017},
doi = {10.1016/J.ENTCS.2008.02.017},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mooij08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OgataF08,
author = {Kazuhiro Ogata and
Kokichi Futatsugi},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ
Method},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {127--154},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.018},
doi = {10.1016/J.ENTCS.2008.02.018},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OgataF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TuominenWP08,
author = {Johanna Tuominen and
Tomi Westerlund and
Juha Plosila},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Power Aware System Refinement},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {223--253},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.022},
doi = {10.1016/J.ENTCS.2008.02.022},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TuominenWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wehrheim08,
author = {Heike Wehrheim},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Refinement in the Presence of Unknowns},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {255--264},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.023},
doi = {10.1016/J.ENTCS.2008.02.023},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wehrheim08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2006,
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigBDG07,
author = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Preface},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.040},
doi = {10.1016/J.ENTCS.2006.08.040},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AichernigBDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigH07,
author = {Bernhard K. Aichernig and
Jifeng He},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Refinement and Test Case Generation in {UTP}},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {125--143},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.048},
doi = {10.1016/J.ENTCS.2006.08.048},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CheungC07,
author = {King Sing Cheung and
K. O. Chow},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {A Petri Net Based Method for Refining Object Oriented System Specifications},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {161--172},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.050},
doi = {10.1016/J.ENTCS.2006.08.050},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CheungC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickB07,
author = {John Derrick and
Eerke A. Boiten},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Relational Concurrent Refinement with Internal Operations},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {35--53},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.043},
doi = {10.1016/J.ENTCS.2006.08.043},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DerrickB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EstlerRW07,
author = {H.{-}Christian Estler and
Thomas Ruhroth and
Heike Wehrheim},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Modelchecking Correctness of Refactorings - Some Experiments},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.041},
doi = {10.1016/J.ENTCS.2006.08.041},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EstlerRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreitasW07,
author = {Leo Freitas and
Jim Woodcock},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {{FDR} Explorer},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {19--34},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.042},
doi = {10.1016/J.ENTCS.2006.08.042},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FreitasW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrovesC07,
author = {Lindsay Groves and
Robert Colvin},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Derivation of a Scalable Lock-Free Stack Algorithm},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {55--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.044},
doi = {10.1016/J.ENTCS.2006.08.044},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrovesC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hemer07,
author = {David Hemer},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Semi-Automated Component-Based Development of Formally Verified Software},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {173--188},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.051},
doi = {10.1016/J.ENTCS.2006.08.051},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hemer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuLZ07,
author = {Xiaojian Liu and
Zhiming Liu and
Liang Zhao},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Object-Oriented Structure Refinement - {A} Graph Transformational
Approach},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {145--159},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.049},
doi = {10.1016/J.ENTCS.2006.08.049},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraCW07,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {A Denotational Semantics for Circus},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {107--123},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.047},
doi = {10.1016/J.ENTCS.2006.08.047},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SmithW07,
author = {Graeme Smith and
Kirsten Winter},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Simulation Machines for Checking Action System Refinements},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {75--90},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.045},
doi = {10.1016/J.ENTCS.2006.08.045},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SmithW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WesterlundP07,
author = {Tomi Westerlund and
Juha Plosila},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Time Aware System Refinement},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {91--106},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.046},
doi = {10.1016/J.ENTCS.2006.08.046},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WesterlundP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AtiyaKW05,
author = {Diyaa{-}Addein Atiya and
Steve King and
Jim Woodcock},
editor = {John Derrick and
Eerke A. Boiten},
title = {Simpler Reasoning About System Properties: a Proof-by-Refinement Technique},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {5--22},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.022},
doi = {10.1016/J.ENTCS.2005.04.022},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AtiyaKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bolton05,
author = {Christie Bolton},
editor = {John Derrick and
Eerke A. Boiten},
title = {Using the Alloy Analyzer to Verify Data Refinement in {Z}},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {23--44},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.023},
doi = {10.1016/J.ENTCS.2005.04.023},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bolton05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CavalcantiW05,
author = {Ana Cavalcanti and
Jim Woodcock},
editor = {John Derrick and
Eerke A. Boiten},
title = {Angelic Nondeterminism and Unifying Theories of Programming},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {45--66},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.024},
doi = {10.1016/J.ENTCS.2005.04.024},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CavalcantiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkSC05,
author = {John A. Clark and
Susan Stepney and
Howard Chivers},
editor = {John Derrick and
Eerke A. Boiten},
title = {Breaking the Model: Finalisation and a Taxonomy of Security Attacks},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {225--242},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.033},
doi = {10.1016/J.ENTCS.2005.04.033},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ClarkSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ColvinDG05,
author = {Robert Colvin and
Simon Doherty and
Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten},
title = {Verifying Concurrent Data Structures by Simulation},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {93--110},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.026},
doi = {10.1016/J.ENTCS.2005.04.026},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ColvinDG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickB05,
author = {John Derrick and
Eerke A. Boiten},
editor = {John Derrick and
Eerke A. Boiten},
title = {Preface},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {1--3},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.021},
doi = {10.1016/J.ENTCS.2005.04.021},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DerrickB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeutschH05,
author = {Moshe Deutsch and
Martin C. Henson},
editor = {John Derrick and
Eerke A. Boiten},
title = {An Analysis of Operation-Refinement in an Abortive Paradigm},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {67--92},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.025},
doi = {10.1016/J.ENTCS.2005.04.025},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeutschH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HensonK05,
author = {Martin C. Henson and
Besnik Kajtazi},
editor = {John Derrick and
Eerke A. Boiten},
title = {The Specification Logic vZ},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {111--129},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.027},
doi = {10.1016/J.ENTCS.2005.04.027},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HensonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanoAC05,
author = {Kevin Lano and
Kelly Androutsopoulos and
David Clark},
editor = {John Derrick and
Eerke A. Boiten},
title = {Refinement Patterns for {UML}},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {131--149},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.028},
doi = {10.1016/J.ENTCS.2005.04.028},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanoAC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaigeKP05,
author = {Richard F. Paige and
Dimitrios S. Kolovos and
Fiona Polack},
editor = {John Derrick and
Eerke A. Boiten},
title = {Refinement via Consistency Checking in {MDA}},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {151--161},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.029},
doi = {10.1016/J.ENTCS.2005.04.029},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaigeKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolackS05,
author = {Fiona Polack and
Susan Stepney},
editor = {John Derrick and
Eerke A. Boiten},
title = {Emergent Properties Do Not Refine},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {163--181},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.030},
doi = {10.1016/J.ENTCS.2005.04.030},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolackS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchneiderHRT05,
author = {Steve A. Schneider and
Thai Son Hoang and
Ken Robinson and
Helen Treharne},
editor = {John Derrick and
Eerke A. Boiten},
title = {Tank Monitoring: {A} pAMN Case Study},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {183--204},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.031},
doi = {10.1016/J.ENTCS.2005.04.031},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchneiderHRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SmithD05,
author = {Graeme Smith and
John Derrick},
editor = {John Derrick and
Eerke A. Boiten},
title = {Model Checking Downward Simulations},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {205--224},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.032},
doi = {10.1016/J.ENTCS.2005.04.032},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SmithD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2005,
editor = {John Derrick and
Eerke A. Boiten},
title = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/2},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Aichernig02,
author = {Bernhard K. Aichernig},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Contract-based mutation testing in the refinement calculus},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {281},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82561-7},
doi = {10.1016/S1571-0661(05)82561-7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Aichernig02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnlauffS02,
author = {Matthias Anlauff and
Asuman S{\"{u}}nb{\"{u}}l},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Towards component based systems: refining connectors},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {163--177},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80490-6},
doi = {10.1016/S1571-0661(05)80490-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnlauffS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BackW02,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Compositional Action System Refinement},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {3},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80479-7},
doi = {10.1016/S1571-0661(05)80479-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BackW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenD02,
author = {Eerke A. Boiten and
John Derrick},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Unifying concurrent and relational refinement},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {94--131},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80488-8},
doi = {10.1016/S1571-0661(05)80488-8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoltonD02,
author = {Christie Bolton and
Jim Davies},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {A comparison of refinement orderings and their associated simulation
rules},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {297--310},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82563-0},
doi = {10.1016/S1571-0661(05)82563-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoltonD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CavalcantiSW02,
author = {Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refinement of actions in Circus},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {132--162},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80489-X},
doi = {10.1016/S1571-0661(05)80489-X},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CavalcantiSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CornelioCS02,
author = {M{\'{a}}rcio Corn{\'{e}}lio and
Ana Cavalcanti and
Augusto Sampaio},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refactoring by Transformation},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {311--330},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82564-2},
doi = {10.1016/S1571-0661(05)82564-2},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CornelioCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesC02,
author = {Jim Davies and
Charles Crichton},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Concurrency and refinement in the {UML}},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {217--243},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80494-3},
doi = {10.1016/S1571-0661(05)80494-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DerrickBWW02,
author = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Preface},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80478-5},
doi = {10.1016/S1571-0661(05)80478-5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DerrickBWW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dunne02,
author = {Steve Dunne},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Junctive Compositions of specifications in total, general correctness},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {4--20},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80480-3},
doi = {10.1016/S1571-0661(05)80480-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dunne02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Engelhardt02,
author = {Kai Engelhardt},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Towards a refinement theory that supports reasoning about knowledge
and time for multiple agents},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {178},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80491-8},
doi = {10.1016/S1571-0661(05)80491-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Engelhardt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherM02,
author = {Harald Fecher and
Mila E. Majster{-}Cederbaum},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Taking decisions late: end-based choice combined with action refinement},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {244--259},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80495-5},
doi = {10.1016/S1571-0661(05)80495-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherMW02,
author = {Harald Fecher and
Mila E. Majster{-}Cederbaum and
Jinzhao Wu},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refinement of actions in a real-time process algebra with a true concurrency
model},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {260--280},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80496-7},
doi = {10.1016/S1571-0661(05)80496-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Groves02,
author = {Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refinement and the {Z} schema calculus},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {70--93},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80486-4},
doi = {10.1016/S1571-0661(05)80486-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Groves02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HiltonH02,
author = {Adrian J. Hilton and
Jon G. Hall},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refining specifications to programmable logic},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {37--49},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80484-0},
doi = {10.1016/S1571-0661(05)80484-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HiltonH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LamoW02,
author = {Yngve Lamo and
Michal Walicki},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Composition and refinement of specifications and parameterised data
types},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {199--216},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80493-1},
doi = {10.1016/S1571-0661(05)80493-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LamoW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LopesF02,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Superposition: Composition vs refinement of non-deterministic action-based
systems},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {282--296},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82562-9},
doi = {10.1016/S1571-0661(05)82562-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LopesF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sekerinski02,
author = {Emil Sekerinski},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Tabular verification and refinement},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {179--198},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80492-X},
doi = {10.1016/S1571-0661(05)80492-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sekerinski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StepneyPT02,
author = {Susan Stepney and
Fiona Polack and
Ian Toyn},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refactoring in maintenance and development of {Z} specifications},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {50--69},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80485-2},
doi = {10.1016/S1571-0661(05)80485-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StepneyPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WildmanF02,
author = {Luke Wildman and
Colin J. Fidge},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {The variety of variables in computer-aided real-time programming},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {21--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80483-9},
doi = {10.1016/S1571-0661(05)80483-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WildmanF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2002,
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/AinsworthW94,
author = {Mike Ainsworth and
Peter J. L. Wallis},
editor = {David Till},
title = {Co-Refinement},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {151--166},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_8},
doi = {10.1007/978-1-4471-3240-0\_8},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/AinsworthW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Bicarregui94,
author = {Juan Bicarregui},
editor = {David Till},
title = {Operation Semantics with Read and Write Frames},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {260--278},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_14},
doi = {10.1007/978-1-4471-3240-0\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Bicarregui94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/BieberB94,
author = {Pierre Bieber and
Nora Boulahia{-}Cuppens},
editor = {David Till},
title = {Formal Development of Authentication Protocols},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {80--102},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_5},
doi = {10.1007/978-1-4471-3240-0\_5},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/BieberB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Fidge94,
author = {Colin J. Fidge},
editor = {David Till},
title = {Proof Obligations for Real-Time Refinement},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {279--305},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_15},
doi = {10.1007/978-1-4471-3240-0\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Fidge94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Garlan94,
author = {David Garlan},
editor = {David Till},
title = {Using Refinement to Understand Architectural Connection},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {3--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_1},
doi = {10.1007/978-1-4471-3240-0\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Garlan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Groves94,
author = {Lindsay Groves},
editor = {David Till},
title = {Deriving language recognition algorithms: {A} case study in combining
program specialisation and data refinement},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {103--120},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_6},
doi = {10.1007/978-1-4471-3240-0\_6},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Groves94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/HaughtonL94,
author = {Howard P. Haughton and
Kevin Lano},
editor = {David Till},
title = {Testing and Safety Analysis of {AM} (Abstract Machine) Specifications},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {69--79},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_4},
doi = {10.1007/978-1-4471-3240-0\_4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/HaughtonL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Lano94,
author = {Kevin Lano},
editor = {David Till},
title = {Refinement in Object-Oriented Specification Languages},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {236--259},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_13},
doi = {10.1007/978-1-4471-3240-0\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Lano94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/LanoH94,
author = {Kevin Lano and
Howard P. Haughton},
editor = {David Till},
title = {Improving the Process of System Specification and Refinement in {B}},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {45--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_3},
doi = {10.1007/978-1-4471-3240-0\_3},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/LanoH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/LedruC94,
author = {Yves Ledru and
Pierre Collette},
editor = {David Till},
title = {Environment-based Development of Reactive Systems},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {217--235},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_12},
doi = {10.1007/978-1-4471-3240-0\_12},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/LedruC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/NicksonG94,
author = {Raymond G. Nickson and
Lindsay J. Groves},
editor = {David Till},
title = {Metavariables and Conditional Refinements in the Refinement Calculus},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {167--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_9},
doi = {10.1007/978-1-4471-3240-0\_9},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/NicksonG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Norvell94,
author = {Theodore S. Norvell},
editor = {David Till},
title = {Machine Code Programs are Predicates Too},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {188--204},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_10},
doi = {10.1007/978-1-4471-3240-0\_10},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Norvell94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/PetersohnRH094,
author = {Carsta Petersohn and
Willem{-}Paul de Roever and
Cornelis Huizing and
Jan Peleska},
editor = {David Till},
title = {Formal Semantics for Ward {\&} Mellor's Transformation Schemas},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {14--41},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_2},
doi = {10.1007/978-1-4471-3240-0\_2},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/PetersohnRH094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Wright94,
author = {Joakim von Wright},
editor = {David Till},
title = {Program Refinement by Theorem Prover},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {121--150},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_7},
doi = {10.1007/978-1-4471-3240-0\_7},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Wright94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/XuH94,
author = {Qiwen Xu and
Jifeng He},
editor = {David Till},
title = {Laws of Parallel Programming with Shared Variables},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {205--216},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_11},
doi = {10.1007/978-1-4471-3240-0\_11},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/XuH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/1994,
editor = {David Till},
title = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0},
doi = {10.1007/978-1-4471-3240-0},
isbn = {978-3-540-19886-4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/CauKR92,
author = {Antonio Cau and
Ruurd Kuiper and
Willem{-}Paul de Roever},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Formalising Dijkstra's Development Strategy within Stark's Formalism},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {4--42},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_3},
doi = {10.1007/978-1-4471-3550-0\_3},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/CauKR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Clement92,
author = {Tim Clement},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Using Metavariables in Natural Deduction Proofs},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {255--271},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_13},
doi = {10.1007/978-1-4471-3550-0\_13},
timestamp = {Fri, 25 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/Clement92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Elvang-Goransson92,
author = {Morten Elvang{-}G{\o}ransson},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Classification of Refinements in {VDM}},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {172--180},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_9},
doi = {10.1007/978-1-4471-3550-0\_9},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Elvang-Goransson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Gravell92,
author = {Andrew M. Gravell},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Constructive Refinement of First Order Specifications},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {181--210},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_10},
doi = {10.1007/978-1-4471-3550-0\_10},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Gravell92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/GrovesNU92,
author = {Lindsay Groves and
Raymond G. Nickson and
Mark Utting},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Tactic Driven Refinement Tool},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {272--297},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_14},
doi = {10.1007/978-1-4471-3550-0\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/GrovesNU92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Grundy92,
author = {Jim Grundy},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Window Inference Tool for Refinement},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {230--254},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_12},
doi = {10.1007/978-1-4471-3550-0\_12},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Grundy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Jones92,
author = {Roger Bishop Jones},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Methods and Tools for the Verification of Critical Properties},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {88--118},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_6},
doi = {10.1007/978-1-4471-3550-0\_6},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Jones92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Milner92,
author = {Robin Milner},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Concurrent Processes as Objects},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {3},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_2},
doi = {10.1007/978-1-4471-3550-0\_2},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Milner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Naftalin92,
author = {Maurice Naftalin},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Model of the Refinement Process},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {211--229},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_11},
doi = {10.1007/978-1-4471-3550-0\_11},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Naftalin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/OFerrall92,
author = {Patrick O'Ferrall},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Opening Address},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {1--2},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_1},
doi = {10.1007/978-1-4471-3550-0\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/OFerrall92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/OHalloran92,
author = {Colin O'Halloran},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Refinement and Confidentiality},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {119--139},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_7},
doi = {10.1007/978-1-4471-3550-0\_7},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/OHalloran92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Oliveira92,
author = {Jos{\'{e}} N. Oliveira},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Software Reification using the {SETS} Calculus},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {140--171},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_8},
doi = {10.1007/978-1-4471-3550-0\_8},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Oliveira92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Sennett92,
author = {C. T. Sennett},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Demonstrating the Compliance of Ada Programs with {Z} Specifications},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {70--87},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_5},
doi = {10.1007/978-1-4471-3550-0\_5},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Sennett92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Stolen92,
author = {Ketil St{\o}len},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Proving Total Correctness with Respect to a Fair (Shared-State) Parallel
Language},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {320--341},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_17},
doi = {10.1007/978-1-4471-3550-0\_17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Stolen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Ward92,
author = {Martin P. Ward},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Recursion Removal Theorem},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {43--69},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_4},
doi = {10.1007/978-1-4471-3550-0\_4},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Ward92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Wing92,
author = {Jeannette M. Wing},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Revisiting Abstraction Functions For Reasoning About Concurrency},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {298--300},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_15},
doi = {10.1007/978-1-4471-3550-0\_15},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Wing92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Woodcock92,
author = {J. C. P. Woodcock},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Implementing Promoted Operations in {Z}},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {367--378},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_19},
doi = {10.1007/978-1-4471-3550-0\_19},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Woodcock92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/XuH92,
author = {Qiwen Xu and
Jifeng He},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A case study in formally developing state-based parallel programs
- the Dutch National Torus},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {301--319},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_16},
doi = {10.1007/978-1-4471-3550-0\_16},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/XuH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/ZwiersCR92,
author = {Job Zwiers and
J. Coenen and
Willem P. de Roever},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Note on Compositional Refinement},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {342--366},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_18},
doi = {10.1007/978-1-4471-3550-0\_18},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/ZwiersCR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/1992,
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0},
doi = {10.1007/978-1-4471-3550-0},
isbn = {978-3-540-19752-2},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-10 06:59 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
