Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 10:30 - 10:55 at Lausanne - Session 2

In communication-centric software systems, distributed services concurrently interact by following precise protocols. One approach to certify protocol correctness uses behavioral types to abstract protocols and statically check inter- acting programs. Behavioral types have been widely studied for programming calculi such as the π-calculus, which lack constructs for specifying reactive behavior, an increasingly relevant feature in many real-life interaction scenarios.

In this paper, we explore the use of the synchronous reactive programming paradigm as a uniform foundation for communication-centric programs. We focus on session types, a widely studied class of behavioral types, and on session-based concurrency, its associated computation model. We present an interpretation (formal translation) of session-based concurrency into ReactiveML, a synchronous reactive language. Our approach uniformly integrates communication, and timed and reactive behavior in concurrent programs which are more natural and concise than π-calculus specifications. To our knowledge, this is the first implementation of sessions in a synchronous reactive programming language.

Tue 1 Nov

rebls2016
10:30 - 12:10: REBLS - Session 2 at Lausanne
rebls201610:30 - 10:55
Talk
Jaime AriasINRIA Grenoble Rhône-Alpes, Mauricio CanoUniversity of Groningen, The Netherlands, Jorge A. PérezUniversity of Groningen, The Netherlands
Pre-print
rebls201610:55 - 11:20
Talk
Rémy El SibaïeUPMC, France, Emmanuel ChaillouxUPMC, France
DOI
rebls201611:20 - 11:45
Talk
rebls201611:45 - 12:10
Talk
Florian MyterVrije Universiteit Brussel, Belgium, Tim CoppietersVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
Link to publication DOI