Julien Lange
Julien Lange
Department of Computer Science, Royal Holloway, University of London
Verified email at rhul.ac.uk - Homepage
Title
Cited by
Cited by
Year
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1262015
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
602012
Meeting deadlines together
L Bocchi, J Lange, N Yoshida
502015
Fencing off go: Liveness and safety for channel-based programming
J Lange, N Ng, B Toninho, N Yoshida
ACM SIGPLAN Notices 52 (1), 748-761, 2017
352017
A static verification framework for message passing in go using behavioural types
J Lange, N Ng, B Toninho, N Yoshida
Proceedings of the 40th International Conference on Software Engineering …, 2018
332018
On the undecidability of asynchronous session subtyping
J Lange, N Yoshida
International Conference on Foundations of Software Science and Computation …, 2017
282017
Three Algorithms and a Methodology for Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Scientific Annals of Computer Science 22, 2012
182012
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
132015
Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Arxiv preprint arXiv:1108.0470, 2011
122011
Characteristic formulae for session types
J Lange, N Yoshida
International Conference on Tools and Algorithms for the Construction and …, 2016
92016
An empirical study of messaging passing concurrency in Go projects
N Dilley, J Lange
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
82019
Verifying asynchronous interactions via communicating session automata
J Lange, N Yoshida
International Conference on Computer Aided Verification, 97-117, 2019
72019
Secure P2P programming on top of tuple spaces
F Benigni, A Brogi, JL Buchholz, JM Jacquet, J Lange, R Popescu
Workshop on Enabling Technologies: Infrastructure for Collaborative …, 2008
72008
A tool for choreography-based analysis of message-passing software
J Lange, E Tuosto, N Yoshida
Behavioural Types: from Theory to Tools, 125, 2017
62017
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
arXiv preprint arXiv:1606.05943, 2016
62016
A Modular Toolkit for Distributed Interactions
J Lange, E Tuosto
Arxiv preprint arXiv:1110.4164, 2011
62011
A sound algorithm for asynchronous session subtyping
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
42019
Measurement of WW/WZ→ ℓνqq′ production with the hadronically decaying boson reconstructed as one or two jets in pp collisions at s= 8TeV with ATLAS, and constraints on …
M Aaboud, G Aad, B Abbott, B Abeloos, SH Abidi, OS AbouZeid, ...
European Physical Journal C, 2017
42017
Measurements of top-quark pair differential and double-differential cross-sections in the ℓ +jets channel with pp collisions at s=13 TeV using the ATLAS …
G Aad, B Abbott, DC Abbott, AA Abud, K Abeling, DK Abhayasinghe, ...
The European Physical Journal C 79 (12), 1-84, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20