20 citations · 67 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 13 cited
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…
cs.PL2019★ 1 cited
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…