Dimitrios Kouzapas

Dimitrios Kouzapas

University of Cyprus - Nicosia / Cyprus
Engineering & Technology / Computer Science
AD Scientific Index ID: 1584470
Πανεπιστήμιο Κύπρου
person_outline Dimitrios Kouzapas's MOST POPULAR ARTICLES
1-) Type-safe eventful sessions in JavaR Hu, D Kouzapas, O Pernet, N Yoshida, K HondaEuropean Conference on Object-Oriented Programming, 329-353, 20101022010
2-) Typechecking protocols with Mungo and StMungoD Kouzapas, O Dardha, R Perera, SJ GayProceedings of the 18th International Symposium on Principles and Practice …, 2016452016
3-) Typechecking protocols with Mungo and StMungo: A session type toolchain for JavaD Kouzapas, O Dardha, R Perera, SJ GayScience of Computer Programming 155, 52-75, 2018432018
4-) On duality relations for session typesG Bernardi, O Dardha, SJ Gay, D KouzapasTrustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014482014
5-) Globally governed session semanticsD Kouzapas, N YoshidaLogical Methods in Computer Science 10, 2014412014