Search dblp for Publications

• > Home > Search

@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}
}

@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}
}

@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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13271},
  pages        = {140--158},
  publisher    = {Springer},
  year         = {2022}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/forte/VoineaDG20,
  author       = {A. Laura Voinea and
                  Ornela Dardha and
                  Simon J. Gay},
  title        = {Typechecking Java Protocols with [St]Mungo},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {208--224},
  publisher    = {Springer},
  year         = {2020}
}

@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    = {{IFM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11918},
  pages        = {437--455},
  publisher    = {Springer},
  year         = {2019}
}

@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}
}

@inproceedings{DBLP:conf/oopsla/VoineaG16,
  author       = {A. Laura Voinea and
                  Simon J. Gay},
  title        = {Benefits of session types for software development},
  booktitle    = {PLATEAU@SPLASH},
  pages        = {26--29},
  publisher    = {{ACM}},
  year         = {2016}
}