Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874842 | Journal of Logical and Algebraic Methods in Programming | 2018 | 30 Pages |
Abstract
Unlike “classic” MPST works, our typing system does not depend on global session types, and does not use syntactic duality checks. As a result, our new theory can prove type safety for processes that implement protocols with complex inter-role dependencies, thus sidestepping an intrinsic limitation of “classic” MPST.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Alceste Scalas, Nobuko Yoshida,