Separating Communication Concerns in Concurrent Systems
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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|15:40 - 16:00|
|16:00 - 16:20|
|16:20 - 17:25|
|17:25 - 17:30|