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 |
|---|---|---|
| Combining behavioural types with security analysis Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
| Abstraction preservation and subtyping in distributed languages Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Dynamic multirole session types Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Multiparty compatibility in communicating automata: characterisation and synthesis of global session types Automata, Languages, and Programming | 2013-08-07 | Paper |
| Parameterised multiparty session types Logical Methods in Computer Science | 2012-10-22 | Paper |
| Multiparty session types meet communicating automata Programming Languages and Systems | 2012-06-22 | Paper |
| Buffered Communication Analysis in Distributed Multiparty Sessions CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
| Parameterised Multiparty Session Types Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Research outcomes over time
This page was built for person: Pierre-Malo Deniélou
