API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply t...

Full description

Bibliographic Details
Main Author: Cledou, Guillermina (author)
Other Authors: Edixhoven, Luc (author), Jongmans, Sung Shik (author), Proenca, José (author)
Format: article
Language:eng
Published: 2022
Subjects:
Concurrency
Pomsets (partially ordered multisets)
Match types
Scala 3
Online Access:http://hdl.handle.net/10400.22/20633
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/20633

Internet

http://hdl.handle.net/10400.22/20633

Similar Items