Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 16:00 - 16:20 at Luzern - Work-in-progress Papers 2

Interaction protocols in concurrent systems are increasingly complex and diverse. Although there is a body of work on separating communication concerns of computations from their functional concerns, it supports static protocols, which cannot handle dynamically evolving numbers and sets of participants in interactions, and complex initialization steps are left mixed with functional concerns. This paper presents an approach to creating communications which are self- driven and can dynamically evolve as the computation progresses. Complex communications are defined as compositions of simpler ones, and can be specified in a specification language. A prototype supporting the specification language’s primitives has been implemented in Scala.

Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change