Mr Dimitrios Kouzapas

  • Research Associate (Computing Science)

Publications

List by: Type | Date

Jump to: 2016 | 2015 | 2014 | 2013 | 2011 | 2010
Number of items: 12.

2016

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)

Kouzapas, D., Yoshida, N., Hu, R., and Honda, K. (2016) On asynchronous eventful session semantics. Mathematical Structures in Computer Science, 26(2), pp. 303-364. (doi:10.1017/S096012951400019X)

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,

2015

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)

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)

2014

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)

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. (2014) Globally governed session semantics. Logical Methods in Computer Science, 10(4), pp. 1-45. 20. (doi:10.2168/LMCS-10(4:20)2014)

2013

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

2011

Kouzapas, D., and Philippou, A. (2011) A Process Calculus for Dynamic Networks. In: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 6-9 June 2011, pp. 213-227. ISBN 9783642214608 (doi:10.1007/978-3-642-21461-5_14)

Kouzapas, D., Yoshida, N., and Honda, K. (2011) On Asynchronous Session Semantics. In: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 6-9 June 2011, pp. 228-243. ISBN 9783642214608 (doi:10.1007/978-3-642-21461-5_15)

2010

Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., and Honda, K. (2010) Type-Safe Eventful Sessions in Java. In: ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, 21-25 June 2010, pp. 329-353. ISBN 9783642141065 (doi:0.1007/978-3-642-14107-2_16)

This list was generated on Thu Mar 30 09:49:52 2017 BST.
Number of items: 12.

Articles

Kouzapas, D., Yoshida, N., Hu, R., and Honda, K. (2016) On asynchronous eventful session semantics. Mathematical Structures in Computer Science, 26(2), pp. 303-364. (doi:10.1017/S096012951400019X)

Kouzapas, D., and Yoshida, N. (2014) Globally governed session semantics. Logical Methods in Computer Science, 10(4), pp. 1-45. 20. (doi:10.2168/LMCS-10(4:20)2014)

Conference Proceedings

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)

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,

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)

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)

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

Kouzapas, D., and Philippou, A. (2011) A Process Calculus for Dynamic Networks. In: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 6-9 June 2011, pp. 213-227. ISBN 9783642214608 (doi:10.1007/978-3-642-21461-5_14)

Kouzapas, D., Yoshida, N., and Honda, K. (2011) On Asynchronous Session Semantics. In: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 6-9 June 2011, pp. 228-243. ISBN 9783642214608 (doi:10.1007/978-3-642-21461-5_15)

Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., and Honda, K. (2010) Type-Safe Eventful Sessions in Java. In: ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, 21-25 June 2010, pp. 329-353. ISBN 9783642141065 (doi:0.1007/978-3-642-14107-2_16)

This list was generated on Thu Mar 30 09:49:52 2017 BST.