Recursos de colección

Enlighten (148.674 recursos)

Enlighten is the University of Glasgow's institutional repository service for published research material including peer-reviewed journal articles, published conference papers,books and book chapters

Type = Artefact

Mostrando recursos 1 - 1 de 1

  1. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)

    Scalas, Alceste; Dardha, Ornela; Hu, Raymond; Yoshida, Nobuko
    This artifact contains a version of the Scribble tool that, given a protocol specification with multiple participants, can generate Scala APIs for implementing each participant in a type-safe, protocol abiding way. Crucially, the API generation leverages a decomposition of the multiparty protocol into type-safe peer-to-peer interactions between pairs of participants; and this, in turn, allows to implement the API internals on top of the existing lchannels library for type-safe binary session programming. As a result, several technically challenging aspects in the implementation of multiparty sessions are solved “for free”, at the underlying binary level. This includes distributed multiparty session delegation:...
    (text) - 29-ago-2017

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.