Process calculi as a tool for studying coordination, contracts and session types

Mario Bravetti, Gianluigi Zavattaro. Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebr. Meth. Program., 112:100527, 2020. [doi]

Abstract

Abstract is missing.