Dimitrios Kouzapas
Title
Cited by
Cited by
Year
Type-safe eventful sessions in Java
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 329-353, 2010
962010
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
412014
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
412014
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
402016
Globally governed session semantics
D Kouzapas, N Yoshida
International Conference on Concurrency Theory, 395-409, 2013
392013
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
322016
On asynchronous session semantics
D Kouzapas, N Yoshida, K Honda
Formal Techniques for Distributed Systems, 228-243, 2011
312011
On the relative expressiveness of higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Information and Computation 268, 104433, 2019
262019
A process calculus for dynamic networks
D Kouzapas, A Philippou
Formal Techniques for Distributed Systems, 213-227, 2011
252011
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
232018
Session types for broadcasting
D Kouzapas, R Gutkovas, SJ Gay
arXiv preprint arXiv:1406.3481, 2014
172014
Fault adaptive routing in metasurface controller networks
T Saeed, C Skitsas, D Kouzapas, M Lestas, V Soteriou, A Philippou, ...
2018 11th International Workshop on Network on Chip Architectures (NoCArc), 1-6, 2018
152018
Characteristic bisimulation for higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Acta informatica 54 (3), 271, 2017
142017
Type checking privacy policies in the π-calculus
D Kouzapas, A Philippou
International Conference on Formal Techniques for Distributed Objects …, 2015
102015
Towards fault adaptive routing in metasurface controller networks
D Kouzapas, C Skitsas, T Saeed, V Soteriou, M Lestas, A Philippou, ...
Journal of Systems Architecture 106, 101703, 2020
92020
Formal verification of a programmable hypersurface
P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
International Workshop on Formal Methods for Industrial Critical Systems, 83-97, 2018
82018
Privacy by typing in the -calculus
D Kouzapas, A Philippou
arXiv preprint arXiv:1710.06494, 2017
82017
A Study of Bisimulation Theory for Session Types
D Kouzapas
Imperial College London, 2012
72012
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
Behavioural Types: from Theory to Tools, 309, 2017
62017
A session type discipline for event driven programming models
D Kouzapas
Master’s thesis, Imperial College London, 2009. http://www. doc. ic. ac. uk …, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20