Understanding Synthesizing Distributed Protocols From Global Session Types
Welcome to our comprehensive guide on Synthesizing Distributed Protocols From Global Session Types. Elaine Li (New York University) https://simons.berkeley.edu/talks/elaine-li-new-york-university-2024-07-05
Key Takeaways about Synthesizing Distributed Protocols From Global Session Types
- [SIGPLAN PLDI'25] Probabilistic Refinement
- [PLMW @ POPL'23]
- [ST30] Complete Multiparty
- Info: http://pwlconf.org/nobuko-yoshida/ Slides: http://bit.ly/2dsKQ5D Transcription: http://bit.ly/2yxPie3 Nobuko's Site: ...
- Correctly designing and implementing
Detailed Analysis of Synthesizing Distributed Protocols From Global Session Types
OCaml-MPST: A concurrency library with Deadlock freedom, solely by Implementability of Paper and supplementary material: ...
This video was recorded at Code Mesh V 2020 - https://codesync.
In summary, understanding Synthesizing Distributed Protocols From Global Session Types gives us a better perspective.
