Session-Based Concurrency, Reactively - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Session-Based Concurrency, Reactively

Résumé

This paper concerns formal models for the analysis of communication -centric software systems that feature declarative and reactive behaviors. We focus on session-based concurrency, the interaction model induced by session types, which uses (variants of) the π-calculus as specification languages. While well-established, such process models are not expressive enough to specify declarative and reactive behaviors common in emerging communication-centric software systems. Here we propose the synchronous reactive programming paradigm as a uniform foundation for session-based concurrency. We present correct encodings of session-based calculi into ReactiveML, a synchronous reactive programming language. Our encodings bridge the gap between process specifications and concurrent programs in which session-based concurrency seamlessly coexists with declarative, reactive, timed, and contextual behaviors.

Mots clés

Fichier principal
Vignette du fichier
forte17.pdf (434.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01566466 , version 1 (21-07-2017)

Identifiants

Citer

Mauricio Cano, Jaime Arias, Jorge A. Pérez. Session-Based Concurrency, Reactively. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩. ⟨hal-01566466⟩
532 Consultations
188 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More