José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Sung-Shik Jongmans
,
José Proença
October 2022
PDF
Cite
Code
Project
Project
ST4MP tool
ISoLA 2022
Type
Conference paper
Publication
Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 24-28, 2022, Proceedings
VALU3S
Ibex
MPST
Choreographies
Related
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Branching pomsets for choreographies
Caos: A Reusable Scala Web Animator of Operational Semantics
Can we Communicate? Using Dynamic Logic to Verify Team Automata
Cite
×