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
1282015
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
612012
Meeting deadlines together
L Bocchi, J Lange, N Yoshida
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
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
372017
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
322017
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
112016
Verifying asynchronous interactions via communicating session automata
J Lange, N Yoshida
International Conference on Computer Aided Verification, 97-117, 2019
102019
A sound algorithm for asynchronous session subtyping
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
Leibniz International Proceedings in Informatics 140, 2019
92019
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
A tool for choreography-based analysis of message-passing software
J Lange, E Tuosto, N Yoshida
Behavioural Types: from Theory to Tools, 125, 2017
72017
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
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
62008
On the Synthesis of Choreographies
J Lange
University of Leicester, 2013
32013
Fair Refinement for Asynchronous Session Types (extended version)
M Bravetti, J Lange, G Zavattaro
arXiv preprint arXiv:2101.08181, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20