65 citations · 340 across the 42 of their papers we have counts for
5 papers · 1 filter
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Mario Bravetti, Marco Carbone, Julien Lange +2
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a ver…
Developing secure Bitcoin contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande +2
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart co…
Multiparty Session Type-safe Web Development with Static Linearity
Jonathan King, Nicholas Ng, Nobuko Yoshida
Modern web applications can now offer desktop-like experiences from within the browser, thanks to technologies such as WebSockets, which enable low-latency duplex communication bet…
Service Equivalence via Multiparty Session Type Isomorphisms
Assel Altayeva, Nobuko Yoshida
This paper addresses a problem found within the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterog…
Verifying Asynchronous Interactions via Communicating Session Automata
Julien Lange, Nobuko Yoshida
This paper proposes a sound procedure to verify properties of communicating session automata (CSA), i.e., communicating automata that include multiparty session types. We introduce…