Dimitrios Kouzapas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A session type system for asynchronous unreliable broadcast communication Logical Methods in Computer Science	2024-09-04	Paper
On the relative expressiveness of higher-order session processes Information and Computation	2019-09-17	Paper
Privacy by typing in the -calculus (available as arXiv preprint)	2018-01-12	Paper
Characteristic bisimulation for higher-order session processes	2017-09-12	Paper
Characteristic bisimulation for higher-order session processes Acta Informatica	2017-06-14	Paper
Type checking privacy policies in the -calculus Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
On asynchronous eventful session semantics Mathematical Structures in Computer Science	2016-07-28	Paper
On duality relations for session types Trustworthy Global Computing	2016-06-09	Paper
On the relative expressiveness of higher-order session processes Programming Languages and Systems	2016-04-26	Paper
Globally governed session semantics Logical Methods in Computer Science	2015-01-15	Paper
Globally Governed Session Semantics CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Globally Governed Session Semantics CONCUR 2013 – Concurrency Theory	2013-08-12	Paper

Research outcomes over time

This page was built for person: Dimitrios Kouzapas