![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "A. Laura Voinea"
@article{DBLP:journals/lmcs/BocchiLTV23, author = {Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea}, title = {A model of actors and grey failures}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {4}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(4:13)2023}, doi = {10.46298/LMCS-19(4:13)2023}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BocchiLTV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/programming/BocchiOV23, author = {Laura Bocchi and Dominic Orchard and A. Laura Voinea}, title = {A Theory of Composing Protocols}, journal = {Art Sci. Eng. Program.}, volume = {7}, number = {2}, year = {2023}, url = {https://doi.org/10.22152/programming-journal.org/2023/7/6}, doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2023/7/6}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/programming/BocchiOV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BocchiLTV22, author = {Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea}, title = {A Model of Actors and Grey Failures}, booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings}, pages = {140--158}, year = {2022}, crossref = {DBLP:conf/coordination/2022}, url = {https://doi.org/10.1007/978-3-031-08143-9\_9}, doi = {10.1007/978-3-031-08143-9\_9}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BocchiLTV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-02461, author = {Laura Bocchi and Dominic Orchard and A. Laura Voinea}, title = {A Theory of Protocol Composition}, journal = {CoRR}, volume = {abs/2203.02461}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.02461}, doi = {10.48550/ARXIV.2203.02461}, eprinttype = {arXiv}, eprint = {2203.02461}, timestamp = {Wed, 15 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-02461.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-17508, author = {Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea}, title = {A model of actors and grey failures}, journal = {CoRR}, volume = {abs/2210.17508}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.17508}, doi = {10.48550/ARXIV.2210.17508}, eprinttype = {arXiv}, eprint = {2210.17508}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-17508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/VoineaDG20, author = {A. Laura Voinea and Ornela Dardha and Simon J. Gay}, title = {Typechecking Java Protocols with [St]Mungo}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, pages = {208--224}, year = {2020}, crossref = {DBLP:conf/forte/2020}, url = {https://doi.org/10.1007/978-3-030-50086-3\_12}, doi = {10.1007/978-3-030-50086-3\_12}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/VoineaDG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/VoineaDG19, author = {A. Laura Voinea and Ornela Dardha and Simon J. Gay}, title = {Resource Sharing via Capability-Based Multiparty Session Types}, booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, pages = {437--455}, year = {2019}, crossref = {DBLP:conf/ifm/2019}, url = {https://doi.org/10.1007/978-3-030-34968-4\_24}, doi = {10.1007/978-3-030-34968-4\_24}, timestamp = {Tue, 26 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifm/VoineaDG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-01353, author = {Dimitrios Kouzapas and Ramunas Gutkovas and A. Laura Voinea and Simon J. Gay}, title = {A Session Type System for Asynchronous Unreliable Broadcast Communication}, journal = {CoRR}, volume = {abs/1902.01353}, year = {2019}, url = {http://arxiv.org/abs/1902.01353}, eprinttype = {arXiv}, eprint = {1902.01353}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-01353.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/VoineaG16, author = {A. Laura Voinea and Simon J. Gay}, title = {Benefits of session types for software development}, booktitle = {Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2016, Amsterdam, Netherlands, November 1, 2016}, pages = {26--29}, year = {2016}, crossref = {DBLP:conf/oopsla/2016plateau}, url = {https://doi.org/10.1145/3001878.3001883}, doi = {10.1145/3001878.3001883}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/oopsla/VoineaG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/coordination/2022, editor = {Maurice H. ter Beek and Marjan Sirjani}, title = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13271}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08143-9}, doi = {10.1007/978-3-031-08143-9}, isbn = {978-3-031-08145-3}, timestamp = {Sat, 25 May 2024 01:54:08 +0200}, biburl = {https://dblp.org/rec/conf/coordination/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2020, editor = {Alexey Gotsman and Ana Sokolova}, title = {Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12136}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-50086-3}, doi = {10.1007/978-3-030-50086-3}, isbn = {978-3-030-50085-6}, timestamp = {Sat, 25 May 2024 01:54:08 +0200}, biburl = {https://dblp.org/rec/conf/forte/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifm/2019, editor = {Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa}, title = {Integrated Formal Methods - 15th International Conference, {IFM} 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11918}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-34968-4}, doi = {10.1007/978-3-030-34968-4}, isbn = {978-3-030-34967-7}, timestamp = {Sat, 25 May 2024 01:54:08 +0200}, biburl = {https://dblp.org/rec/conf/ifm/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/oopsla/2016plateau, editor = {Craig Anslow and Thomas D. LaToza and Joshua Sunshine}, title = {Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2016, Amsterdam, Netherlands, November 1, 2016}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/3001878}, doi = {10.1145/3001878}, isbn = {978-1-4503-4638-2}, timestamp = {Sat, 25 May 2024 01:54:08 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/2016plateau.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.org/img/cog.dark.24x24.png)
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.