Blogs (9) >>
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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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