Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs115.bht:"
@inproceedings{DBLP:journals/corr/abs-1305-6110, author = {Emil Sekerinski and Tian Zhang}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {On a New Notion of Partial Refinement}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {1--14}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.1}, doi = {10.4204/EPTCS.115.1}, timestamp = {Sun, 25 Jul 2021 11:39:08 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6111, author = {Brijesh Dongol and John Derrick}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Data refinement for true concurrency}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {15--35}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.2}, doi = {10.4204/EPTCS.115.2}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6111.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6112, author = {Michael J. Butler and John Colley and Andrew Edmunds and Colin F. Snook and Neil Evans and Neil Grant and Helen Marshall}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Modelling and Refinement in {CODA}}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {36--51}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.3}, doi = {10.4204/EPTCS.115.3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6112.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6113, author = {Frank Zeyda and Ana Cavalcanti}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Refining {SCJ} Mission Specifications into Parallel Handler Designs}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {52--67}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.4}, doi = {10.4204/EPTCS.115.4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6113.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6114, author = {Nuno Am{\'{a}}lio}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Relaxing Behavioural Inheritance}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {68--83}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.5}, doi = {10.4204/EPTCS.115.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6114.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6115, author = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Bisimilarity and refinement for hybrid(ised) logics}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {84--98}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.6}, doi = {10.4204/EPTCS.115.6}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6115.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1305-5634, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115}, doi = {10.4204/EPTCS.115}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-5634.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.