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

Mario Bravetti; Gianluigi Zavattaro

doi:10.1016/j.jlamp.2020.100527

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]

2 DISI - Department of Computer Science and Engineering [Bologna]

Document type :

Journal articles

Domain :

Computer Science [cs] / Computation and Language [cs.CL]

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

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

Identifiers

Collections

Citation

Export

Metrics

7

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

7

Contact Legal Notice Personal Data