Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

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,

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)

This list was generated on Tue Aug 4 01:54:50 2020 BST.