Travelled to:1 × India
Collaborated with:N.Yoshida E.Tuosto N.Ng B.Toninho
Talks about:communic (2) choreographi (1) asynchron (1) interact (1) automata (1) session (1) program (1) graphic (1) channel (1) verifi (1)
Person: Julien Lange
DBLP: Lange:Julien
Contributed to:
2015
20192017Wrote 3 papers:
- POPL-2015-LangeTY #communication #visual notation
- From Communicating Machines to Graphical Choreographies (JL, ET, NY), pp. 221–232.
- CAV-2019-LangeY #automaton #communication #interactive #verification
- Verifying Asynchronous Interactions via Communicating Session Automata (JL, NY), pp. 97–117.
- POPL-2017-LangeNTY #liveness #programming #safety
- Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.