Julien Lange

Identifiers

• name variant Julien Lange 0.60 · backfill

Papers (4)

1. Verifying Asynchronous Interactions via Communicating Session Automata cs.PL · 2019 · author #1
2. Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) cs.PL · 2016 · author #1
3. Characteristic Formulae for Session Types (extended version) cs.LO · 2015 · author #1
4. Synthesising Choreographies from Local Session Types (extended version) cs.PL · 2012 · author #1

Mentions

• 1204.2566 #1 · backfill · confidence 0.70 Julien Lange

Frequent Coauthors

• Nobuko Yoshida 3 shared papers
• Bernardo Toninho 1 shared papers
• Emilio Tuosto 1 shared papers
• Nicholas Ng 1 shared papers