20 citations · 67 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015
Characteristic Formulae for Session Types (extended version)
Julien Lange, Nobuko Yoshida
Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whet…
cs.LO2013★ 3 cited
Choreography Synthesis as Contract Agreement
Julien Lange, Alceste Scalas
We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are st…