Dimitrios Kouzapas

According to our database1, Dimitrios Kouzapas
  • authored at least 17 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Privacy by typing in the π-calculus.
CoRR, 2017

Characteristic bisimulation for higher-order session processes.
Acta Inf., 2017

2016
On asynchronous eventful session semantics.
Mathematical Structures in Computer Science, 2016

Typechecking protocols with Mungo and StMungo.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

On the Relative Expressiveness of Higher-Order Session Processes.
Proceedings of the Programming Languages and Systems, 2016

2015
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR, 2015

Type Checking Privacy Policies in the π-calculus.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Characteristic Bisimulation for Higher-Order Session Processes.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Globally Governed Session Semantics.
Logical Methods in Computer Science, 2014

Session Types for Broadcasting.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

On Duality Relations for Session Types.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

2013
A study of bisimulation theory for session types.
PhD thesis, 2013

A Typing System for Privacy.
Proceedings of the Software Engineering and Formal Methods, 2013

Globally Governed Session Semantics.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2011
On Asynchronous Session Semantics.
Proceedings of the Formal Techniques for Distributed Systems, 2011

A Process Calculus for Dynamic Networks.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Type-Safe Eventful Sessions in Java.
Proceedings of the ECOOP 2010, 2010


  Loading...