Statically verified refinements for multiparty protocols

@article{Zhou2020StaticallyVR,
  title={Statically verified refinements for multiparty protocols},
  author={F. Zhou and Francisco Ferreira and Raymond Hu and R. Neykova and N. Yoshida},
  journal={Proceedings of the ACM on Programming Languages},
  year={2020},
  volume={4},
  pages={1 - 30}
}
With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, guaranteeing communication safety properties such as deadlock freedom. While originally MPST focus on the communication aspects, and employ a simple typing system for communication payloads, communication protocols in the real world usually contain constraints on the… Expand

Figures and Tables from this paper

References

SHOWING 1-4 OF 4 REFERENCES
Multiparty Asynchronous Session Types
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Semantic subtyping with an SMT solver
Refinement Types for Secure Implementations