School of Computing

Publications by Dr Julien Lange

Also view these in the Kent Academic Repository

Article
Bartoletti, M. et al. (2014). Choreographies in the wild. Science of Computer Programming [Online] 109:36-60. Available at: http://dx.doi.org/10.1016/j.scico.2014.11.015.
Bocchi, L., Lange, J. and Tuosto, E. (2012). Three algorithms and a methodology for amending contracts for choreographies. Scientific Annals of Computer Science [Online] 22:61-104. Available at: http://dx.doi.org/10.7561/SACS.2012.1.61.
Book section
Lange, J., Tuosto, E. and Yoshida, N. (2017). A Tool for Choreography-Based Analysis of Message-Passing Software. in: Behavioural Types: from Theory to Tools. River Publishers. Available at: http://www.riverpublishers.com/pdf/ebook/chapter/RP_9788793519817C6.pdf.
Conference or workshop item
Lange, J. et al. (2017). Fencing off go: liveness and safety for channel-based programming. in: Castagna, G. and Gordon, A. D. eds. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017). ACM, pp. 748-761. Available at: https://doi.org/10.1145/3009837.3009847.
Lange, J. and Yoshida, N. (2017). On the undecidability of asynchronous session subtyping. in: Esparza, J. and Murawski, A. eds. 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Springer, pp. 441-457. Available at: http://dx.doi.org/10.1007/978-3-662-54458-7_26.
Perera, R., Lange, J. and Gay, S. (2016). Multiparty compatibility for concurrent objects. in: International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. Open Publishing Association, pp. 73-82. Available at: http://dx.doi.org/10.4204/EPTCS.211.8.
Lange, J. and Yoshida, N. (2016). Characteristic formulae for session types. in: Chechik, M. and Raskin, J. F. eds. TACAS 2016. Springer, pp. 833-850. Available at: http://dx.doi.org/10.1007/978-3-662-49674-9_52.
Lange, J., Tuosto, E. and Yoshida, N. (2015). From Communicating Machines to Graphical Choreographies. in: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 15). ACM, pp. 221-232. Available at: http://dx.doi.org/10.1145/2676726.2676964.
Bocchi, L., Lange, J. and Yoshida, N. (2015). Meeting deadlines together. in: Aceto, L. and de Frutos Escrig, D. eds. 26th International Conference on Concurrency Theory (CONCUR 2015). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 283-296. Available at: http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.283.
Lange, J. and Scalas, A. (2013). Choreography Synthesis as Contract Agreement. in: 6th Interaction and Concurrency Experience workshop. pp. 52-67. Available at: http://dx.doi.org/10.4204/EPTCS.131.6.
Lange, J. and Tuosto, E. (2012). Synthesising choreographies from local session types. in: Koutny, M. and Ulidowski, I. eds. 23rd International Conference on Concurrency Theory, CONCUR 2012. Springer, pp. 225-239. Available at: http://dx.doi.org/10.1007/978-3-642-32940-1_17.
Bocchi, L., Lange, J. and Tuosto, E. (2011). Amending Contracts for Choreographies. in: 4th Interaction and Concurrency Experience workshop. pp. 111-129. Available at: http://dx.doi.org/10.4204/EPTCS.59.10.
Lange, J. and Tuosto, E. (2011). A Modular Toolkit for Distributed Interactions. in: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010). pp. 92-110. Available at: http://dx.doi.org/10.4204/EPTCS.69.7.
Blommestijn, R. et al. (2009). Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. in: Ouwehand, L. ed. DASIA 2009 Data Systems in Aerospace.. Available at: http://adsabs.harvard.edu/abs/2009ESASP.669E.56B.
Total publications in KAR: 14 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 26/09/2017