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⟩
537 Consultations
190 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More