BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lange:Julien

Contributed to:

POPL 20152015
CAV (1) 20192019
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.