Published in: LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022)
Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In 33rd International Conference on Concurrency Theory (CONCUR 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 243, pp. 31:1-31:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{dongol_et_al:LIPIcs.CONCUR.2022.31, author = {Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, title = {{Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement}}, booktitle = {33rd International Conference on Concurrency Theory (CONCUR 2022)}, pages = {31:1--31:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-246-4}, ISSN = {1868-8969}, year = {2022}, volume = {243}, editor = {Klin, Bartek and Lasota, S{\l}awomir and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.31}, URN = {urn:nbn:de:0030-drops-170947}, doi = {10.4230/LIPIcs.CONCUR.2022.31}, annote = {Keywords: Strong Observational Refinement, Hyperproperties, Forward Simulation, Weak Progressiveness} }
Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. Brief Announcement: On Strong Observational Refinement and Forward Simulation. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 55:1-55:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{derrick_et_al:LIPIcs.DISC.2021.55, author = {Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, title = {{Brief Announcement: On Strong Observational Refinement and Forward Simulation}}, booktitle = {35th International Symposium on Distributed Computing (DISC 2021)}, pages = {55:1--55:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-210-5}, ISSN = {1868-8969}, year = {2021}, volume = {209}, editor = {Gilbert, Seth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.55}, URN = {urn:nbn:de:0030-drops-148575}, doi = {10.4230/LIPIcs.DISC.2021.55}, annote = {Keywords: Strong Observational Refinement, Hyperproperties, Forward Simulation} }
Published in: LIPIcs, Volume 121, 32nd International Symposium on Distributed Computing (DISC 2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, and John Derrick. Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In 32nd International Symposium on Distributed Computing (DISC 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 121, pp. 45:1-45:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{doherty_et_al:LIPIcs.DISC.2018.45, author = {Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, title = {{Brief Announcement: Generalising Concurrent Correctness to Weak Memory}}, booktitle = {32nd International Symposium on Distributed Computing (DISC 2018)}, pages = {45:1--45:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-092-7}, ISSN = {1868-8969}, year = {2018}, volume = {121}, editor = {Schmid, Ulrich and Widder, Josef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.45}, URN = {urn:nbn:de:0030-drops-98344}, doi = {10.4230/LIPIcs.DISC.2018.45}, annote = {Keywords: Weak Memory, Concurrent Object, Execution Structure} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. Proving Opacity of a Pessimistic STM. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 35:1-35:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{doherty_et_al:LIPIcs.OPODIS.2016.35, author = {Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, title = {{Proving Opacity of a Pessimistic STM}}, booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)}, pages = {35:1--35:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-031-6}, ISSN = {1868-8969}, year = {2017}, volume = {70}, editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.35}, URN = {urn:nbn:de:0030-drops-71040}, doi = {10.4230/LIPIcs.OPODIS.2016.35}, annote = {Keywords: Pessimistic STMs, Opacity, Verification, Isabelle, Simulation, TMS2} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Brijesh Dongol, John Derrick, Lindsay Groves, and Graeme Smith. Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 470-494, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{dongol_et_al:LIPIcs.ECOOP.2015.470, author = {Dongol, Brijesh and Derrick, John and Groves, Lindsay and Smith, Graeme}, title = {{Defining Correctness Conditions for Concurrent Objects in Multicore Architectures}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {470--494}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.470}, URN = {urn:nbn:de:0030-drops-52348}, doi = {10.4230/LIPIcs.ECOOP.2015.470}, annote = {Keywords: Concurrent objects, correctness, relaxed memory, verification} }
Published in: Dagstuhl Seminar Proceedings, Volume 9201, Self-Healing and Self-Adaptive Systems (2009)
Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, and Markus Schmid. Self-Healing and Recovery Methods and their Classification. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{shehory_et_al:DagSemProc.09201.3, author = {Shehory, Onn and Martinez, Josu and Andrzejak, Artur and Cappiello, Cinzia and Funika, Wlodzimierz and Kondo, Derrick and Mariani, Leonardo and Satzger, Benjamin and Schmid, Markus}, title = {{Self-Healing and Recovery Methods and their Classification}}, booktitle = {Self-Healing and Self-Adaptive Systems}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9201}, editor = {Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.3}, URN = {urn:nbn:de:0030-drops-21082}, doi = {10.4230/DagSemProc.09201.3}, annote = {Keywords: Self-healing, self-recovery, redundancy techniques, architecture models, micro-rebooting, SOA-based process reorganization} }
Feedback for Dagstuhl Publishing