Dimitrios Kouzapas

Available identifiers

zbMath Open kouzapas.dimitriosMaRDI QIDQ2272987

List of research outcomes

Publication	Date of Publication	Type
A session type system for asynchronous unreliable broadcast communication	2024-09-04	Paper
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

This page was built for person: Dimitrios Kouzapas