Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

The Challenge of Typed Expressiveness in Concurrency

Abstract : By classifying behaviors (rather than data values), behavioral types abstract structured protocols and enforce disciplined message-passing programs. Many different behavioral type theories have been proposed: they offer a rich landscape of models in which types delineate concurrency and communication. Unfortunately, studies on formal relations between these theories are incipient. This paper argues that clarifying the relative expressiveness of these type systems is a pressing challenge for formal techniques in distributed systems. We overview works that address this issue and discuss promising research avenues.
Complete list of metadata

Cited literature [49 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, January 12, 2017 - 11:34:28 AM
Last modification on : Monday, October 9, 2017 - 1:18:03 PM
Long-term archiving on: : Friday, April 14, 2017 - 3:44:30 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Jorge A. Pérez. The Challenge of Typed Expressiveness in Concurrency. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩. ⟨hal-01432921⟩



Record views


Files downloads