AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Julien Lange

Julien Lange

Royal Holloway University of London - Egham / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4359563
-
person_outline Julien Lange's MOST POPULAR ARTICLES
1-) From communicating machines to graphical choreographies Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
2-) A static verification framework for message passing in go using behavioural types Proceedings of the 40th International Conference on Software Engineering …, 2018
3-) Fencing off go: liveness and safety for channel-based programming ACM SIGPLAN Notices 52 (1), 748-761, 2017
4-) Synthesising choreographies from local session types International Conference on Concurrency Theory, 225-239, 2012
5-) On the undecidability of asynchronous session subtyping International Conference on Foundations of Software Science and Computation …, 2017