Mario Bravetti, Gianluigi Zavattaro. Process calculi as a tool for studying coordination, contracts and session types.
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 112, pp.100527.
⟨10.1016/j.jlamp.2020.100527⟩.
⟨hal-03102438⟩