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.