ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

Sung-Shik Jongmans, José Proença
October 2022
PDF 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