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

agere2016
15:40 - 17:20: AGERE 2016 - Work-in-progress Papers 2 at Luzern
agere2016147783840000015:40 - 16:00
Talk
File Attached
agere2016147783960000016:00 - 16:20
Talk
File Attached
agere2016147784080000016:20 - 17:25
Meeting
agere2016147784470000017:25 - 17:30
Day closing