A List of Successes That Can Change the World

Volume 9600 of the series Lecture Notes in Computer Science pp 433-458


Certifying Data in Multiparty Session Types

  • Bernardo ToninhoAffiliated withImperial College London
  • , Nobuko YoshidaAffiliated withImperial College London Email author 

* Final gross prices may vary according to local VAT.

Get Access


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 distributed settings.