Paul Harvey

Research | Lead | Play

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)


Journal article


Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
CoRR, abs/2105.06973, 2021

Cite

Cite

APA   Click to copy
Harvey, P., Fowler, S., Dardha, O., & Gay, S. J. (2021). Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). CoRR, abs/2105.06973.


Chicago/Turabian   Click to copy
Harvey, Paul, Simon Fowler, Ornela Dardha, and Simon J. Gay. “Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended Version).” CoRR abs/2105.06973 (2021).


MLA   Click to copy
Harvey, Paul, et al. “Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended Version).” CoRR, vol. abs/2105.06973, 2021.


BibTeX   Click to copy

@article{harvey2021a,
  title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)},
  year = {2021},
  journal = {CoRR},
  volume = {abs/2105.06973},
  author = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.}
}


Share



Follow this website


You need to create an Owlstown account to follow this website.


Sign up

Already an Owlstown member?

Log in