The Challenge of Typed Expressiveness in Concurrency - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2016

The Challenge of Typed Expressiveness in Concurrency

Jorge A. Pérez
  • Function : Author
  • PersonId : 998096

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.
Fichier principal
Vignette du fichier
426757_1_En_16_Chapter.pdf (200.05 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01432921 , version 1 (12-01-2017)

Licence

Attribution

Identifiers

Cite

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⟩
27 View
81 Download

Altmetric

Share

Gmail Facebook X LinkedIn More