Session-Based Concurrency, Reactively

Mauricio Cano 1 Jaime Arias 2 Jorge A. Pérez 1, 3
2 MISTIS - Modelling and Inference of Complex and Structured Stochastic Systems
Inria Grenoble - Rhône-Alpes, LJK - Laboratoire Jean Kuntzmann, INPG - Institut National Polytechnique de Grenoble
Abstract : 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.
Type de document :
Communication dans un congrès
Ahmed Bouajjani; Alexandra Silva. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. Springer, Lecture Notes in Computer Science, LNCS-10321, pp.74-91, 2017, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-60225-7_6〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01566466
Contributeur : Jaime Arias <>
Soumis le : vendredi 21 juillet 2017 - 10:31:51
Dernière modification le : mercredi 11 avril 2018 - 01:58:57

Fichier

forte17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Mauricio Cano, Jaime Arias, Jorge A. Pérez. Session-Based Concurrency, Reactively. Ahmed Bouajjani; Alexandra Silva. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. Springer, Lecture Notes in Computer Science, LNCS-10321, pp.74-91, 2017, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-60225-7_6〉. 〈hal-01566466〉

Partager

Métriques

Consultations de la notice

399

Téléchargements de fichiers

54