MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Dr Dimitrios Kouzapas

Alumni

dblp

Dimitrios completed his PhD under Prof Nobuko Yoshida and is now at University of Glasgow

Publications

2019

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: On the Relative Expressiveness of Higher-Order Session Processes. IC : 1 - 54.

2017

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulation for Higher-Order Session Processes. Acta Inf. : 271 - 341.

2016

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016 : 446 - 475.

2015

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulations for Higher-Order Session Processes. CONCUR 2015 : 398 - 411.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. ArXiv : 1 - 20.

Dimitrios Kouzapas, Nobuko Yoshida: Globally Governed Session Semantics. LMCS .

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda: On Asynchronous Eventful Session Semantics. MSCS : 1 - 62.

2013

Dimitrios Kouzapas, Nobuko Yoshida: Globally Governed Session Semantics. CONCUR 2013 : 409 - 395.

2011

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda: On Asynchronous Session Semantics. FMOODS/FORTE 2011 : 228 - 243.

2010

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010 : 329 - 353.