%0 Conference Proceedings
%T Session-Based Concurrency, Reactively
%+ University of Groningen [Groningen]
%+ Modelling and Inference of Complex and Structured Stochastic Systems (MISTIS )
%+ Centrum Wiskunde & Informatica (CWI)
%A Cano, Mauricio
%A Arias, Jaime
%A Pérez, Jorge A.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Neuchâtel, Switzerland
%Y Ahmed Bouajjani
%Y Alexandra Silva
%I Springer
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-10321
%P 74-91
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-60225-7_6
%K ReactiveML
%K Session Types
%Z Computer Science [cs]/Symbolic Computation [cs.SC]
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-01566466/document
%2 https://hal.science/hal-01566466/file/forte17.pdf
%L hal-01566466
%U https://hal.science/hal-01566466
%~ UGA
%~ CNRS
%~ INRIA
%~ INPG
%~ INRIA-RHA
%~ INSMI
%~ INRIA_TEST
%~ LJK
%~ LJK_PS
%~ LJK_PS_MISTIS
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ INRIA2017
%~ IFIP-LNCS-10321
%~ INRIA-RENGRE
%~ UGA-COMUE