| 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 | 126 | 2015 |
| Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012 | 60 | 2012 |
| Meeting deadlines together L Bocchi, J Lange, N Yoshida | 50 | 2015 |
| 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 | 35 | 2017 |
| 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 | 33 | 2018 |
| On the undecidability of asynchronous session subtyping J Lange, N Yoshida International Conference on Foundations of Software Science and Computation …, 2017 | 28 | 2017 |
| Three Algorithms and a Methodology for Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Scientific Annals of Computer Science 22, 2012 | 18 | 2012 |
| Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013 | 14 | 2013 |
| Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015 | 13 | 2015 |
| Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Arxiv preprint arXiv:1108.0470, 2011 | 12 | 2011 |
| Characteristic formulae for session types J Lange, N Yoshida International Conference on Tools and Algorithms for the Construction and …, 2016 | 9 | 2016 |
| 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 | 8 | 2019 |
| Verifying asynchronous interactions via communicating session automata J Lange, N Yoshida International Conference on Computer Aided Verification, 97-117, 2019 | 7 | 2019 |
| 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 | 7 | 2008 |
| A tool for choreography-based analysis of message-passing software J Lange, E Tuosto, N Yoshida Behavioural Types: from Theory to Tools, 125, 2017 | 6 | 2017 |
| Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay arXiv preprint arXiv:1606.05943, 2016 | 6 | 2016 |
| A Modular Toolkit for Distributed Interactions J Lange, E Tuosto Arxiv preprint arXiv:1110.4164, 2011 | 6 | 2011 |
| A sound algorithm for asynchronous session subtyping M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro | 4 | 2019 |
| 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 | 4 | 2017 |
| 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 | 3 | 2019 |
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
