Skip to Main content Skip to Navigation
Journal articles

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

Mario Bravetti 1, 2 Gianluigi Zavattaro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-03102438
Contributor : Mario Bravetti <>
Submitted on : Thursday, January 7, 2021 - 3:27:36 PM
Last modification on : Friday, January 8, 2021 - 3:37:19 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

7