Perera, R. and Cheney, J. (2018) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, 28(9), pp. 1541-1577. (doi: 10.1017/S096012951700010X)

Horn, R., Perera, R. and Cheney, J. (2018) Incremental Relational Lenses. Proceedings of the ACM on Programming Languages, 2(ICFP), 74. (doi: 10.1145/3236769)

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2018) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, 155, pp. 52-75. (doi: 10.1016/j.scico.2017.10.006)

Dardha, O. and Gay, S. J. (2018) A New Linear Logic for Deadlock-Free Session-Typed Processes. In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, 16-19 Apr 2018, pp. 91-109. (doi: 10.1007/978-3-319-89366-2_5)

Dardha, O. , Giachino, E. and Sangiorgi, D. (2017) Session types revisited. Information and Computation, 256, pp. 253-286. (doi: 10.1016/j.ic.2017.06.002)

Ricciotti, W., Stolarek, J., Perera, R. and Cheney, J. (2017) Imperative functional programs that explain their work. Proceedings of the ACM on Programming Languages, 1(ICFP), 14. (doi: 10.1145/3110258)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, 24:1-24:31. ISBN 9783959770354 (doi: 10.4230/LIPIcs.ECOOP.2017.24)

Dardha, O. , Gay, S. J. , Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

Kouzapas, D., Pérez, J. A. and Yoshida, N. (2017) Characteristic bisimulation for higher-order session processes. Acta Informatica, 54(3), pp. 271-341. (doi: 10.1007/s00236-016-0289-7)

Dardha, O. , Gorla, D. and Varacca, D. (2017) Semantic subtyping for objects and classes. Computer Journal, 60(5), pp. 636-656. (doi: 10.1093/comjnl/bxw080)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2016) Typechecking Protocols with Mungo and StMungo. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016, pp. 146-159. ISBN 9781450341486 (doi: 10.1145/2967973.2968595)

Dardha, O. (2016) Type Systems for Distributed Programs: Components and Sessions. Series: Atlantis studies in computing, 7. Atlantis Press (Springer). ISBN 9789462392038 (doi: 10.2991/978-94-6239-204-5)

Perera, R. , Lange, J. and Gay, S. J. (2016) Multiparty Compatibility for Concurrent Objects. In: Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016), Eindhoven, The Netherlands, 8 Apr 2016, (doi: 10.4204/EPTCS.211.8)

Gay, S. J. (2016) Subtyping supports safe session substitution. Lecture Notes in Computer Science, 9600, pp. 95-108. (doi: 10.1007/978-3-319-30936-1_5)

Kouzapas, D., Pérez, J. A. and Yoshida, N. (2016) On the relative expressiveness of higher-order session processes. In: 25th European Symposium on Programming, ESOP 2016, Eindhoven, The Netherlandd, 02-08 Apr 2016, pp. 446-475. ISBN 9783662494974 (doi: 10.1007/978-3-662-49498-1_18)

Perera, R. , Garg, D. and Cheney, J. (2016) Causally Consistent Dynamic Slicing. In: CONCUR 2016: The 27th International Conference on Concurrency Theory, Québec City, Canada, 23-26 Aug 2016, p. 18. ISBN 9783959770170 (doi: 10.4230/LIPIcs.CONCUR.2016.18)

Voinea, A. L. and Gay, S. J. (2016) Benefits of Session Types for software Development. In: 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Amsterdam, Netherlands, 01 Nov 2016, pp. 26-29. ISBN 9781450346382 (doi: 10.1145/3001878.3001883)

Dardha, O. (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Perera, R. and Cheney, J. (2015) Proof-Relevant π-Calculus. In: Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2015), Berlin, Germany, 1 Aug 2015, pp. 46-70. (doi: 10.4204/EPTCS.185.4)

Kouzapas, D. and Philippou, A. (2015) Type Checking Privacy Policies in the π-calculus. In: 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, 2-4 Jun 2015, pp. 181-195. ISBN 9783319191942 (doi: 10.1007/978-3-319-19195-9_12)

Dardha, O. and Perez, J. A. (2015) Comparing deadlock-free session typed processes. In: Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, Madrid, Spain, 31 Aug 2015, (doi: 10.4204/EPTCS.190)

Kouzapas, D., Perez, J. A. and Yoshida, N. (2015) Characteristic Bisimulation for Higher-Order Session Processes. In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, Madrid, Spain, 1-4 Sep 2015, pp. 398-411. ISBN 9783939897910 (doi: 10.4230/LIPIcs.CONCUR.2015.398)

Bernardi, G., Dardha, O. , Gay, S. and Kouzapas, D. (2014) On duality relations for session types. In: 9th International Symposium on Trustworthy Global Computing (TGC) 2014, Rome, Italy, 5-6 Sep 2014, pp. 51-66. ISBN 9783662459164 (doi: 10.1007/978-3-662-45917-1_4)

Gay, S. J. , Gesbert, N. and Ravara, A. (2014) Session types as generic process types. Electronic Proceedings in Theoretical Computer Science, 160, pp. 94-110. (doi: 10.4204/EPTCS.160.9)

Carbone, M., Dardha, O. and Montesi, F. (2014) Progress as compositional lock-freedom. In: COORDINATION 2014, Berlin, Germany, 3-5 Jun 2014, pp. 49-64. (doi: 10.1007/978-3-662-43376-8_4)

Dardha, O. (2014) Recursive session types revisited. In: BEAT 2014: Third International Workshop on Behavioural Types, Rome, Italy, 01 Sep 2014, pp. 27-34. (doi: 10.4204/EPTCS.162.4)

Kouzapas, D., Gutkovas, R. and Gay, S. J. (2014) Session Types for Broadcasting. In: 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Grenoble, France, 12 Apr 2014, pp. 25-31. (doi: 10.4204/EPTCS.155.4)

Kouzapas, D. and Yoshida, N. (2013) Globally Governed Session Semantics. In: CONCUR 2013:Concurrency Theory, 24th International Conference, Buenos Aires, Argentina, 27-30 Aug 2013, pp. 395-409. ISBN 9783642401831 (doi: 10.1007/978-3-642-40184-8_28)