Certifying data in multiparty session types

Bernardo Toninho, Nobuko Yoshida
2017 Journal of Logical and Algebraic Methods in Programming  
Multiparty session types (MPST) are a typing discipline for ensuring the coordination and orchestration of multi-agent communication in concurrent and distributed programs. However, by mostly focusing on the communication aspects of concurrency, MPST are often unable to capture important data invariants in programs. In this work we propose to increase the expressiveness of MPST by considering a notion of value dependencies in order to certify invariants of exchanged data in concurrent and
more » ... oncurrent and distributed settings.
doi:10.1016/j.jlamp.2016.11.005 fatcat:llosycsgvfhx3k5j4gwuhfixhq