PÉREZ , Jorge A.

Communication-centric systems are software systems built as assemblies of distributed arti-facts that interact following predefined communication protocols. Session-based concurrency is a type-based approach to ensure the conformance of communication-centric systems to such protocols. This paper presents a model of session-based concurrency...