Process calculi as a tool for studying coordination, contracts and session types
scientific article; zbMATH DE number 7189660
scientific article