Search dblp for Publications

export results for "A. Laura Voinea"

 download as .bib file

@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},
  editor       = {Maurice H. ter Beek and
                  Marjan Sirjani},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {13271},
  pages        = {140--158},
  publisher    = {Springer},
  year         = {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},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {208--224},
  publisher    = {Springer},
  year         = {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},
  editor       = {Wolfgang Ahrendt and
                  Silvia Lizeth Tapia Tarifa},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {11918},
  pages        = {437--455},
  publisher    = {Springer},
  year         = {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},
  editor       = {Craig Anslow and
                  Thomas D. LaToza and
                  Joshua Sunshine},
  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},
  publisher    = {{ACM}},
  year         = {2016},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.