Dimitrios Kouzapas
From MaRDI portal
Person:2272987
Available identifiers
zbMath Open kouzapas.dimitriosMaRDI QIDQ2272987
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
On the relative expressiveness of higher-order session processes | 2019-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4600769 | 2018-01-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5357719 | 2017-09-12 | Paper |
Characteristic bisimulation for higher-order session processes | 2017-06-14 | Paper |
Type Checking Privacy Policies in the π-calculus | 2016-10-19 | Paper |
On asynchronous eventful session semantics | 2016-07-28 | Paper |
On Duality Relations for Session Types | 2016-06-09 | Paper |
On the Relative Expressiveness of Higher-Order Session Processes | 2016-04-26 | Paper |
Globally Governed Session Semantics | 2015-01-15 | Paper |
Globally Governed Session Semantics | 2013-08-12 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Dimitrios Kouzapas