Pierre-Malo Deniélou

Available identifiers

zbMath Open denielou.pierre-maloMaRDI QIDQ890612

List of research outcomes

Publication	Date of Publication	Type
Combining behavioural types with security analysis	2015-11-10	Paper
Abstraction preservation and subtyping in distributed languages	2015-08-03	Paper
Dynamic multirole session types	2014-04-10	Paper
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types	2013-08-07	Paper
Parameterised Multiparty Session Types	2012-10-22	Paper
Multiparty Session Types Meet Communicating Automata	2012-06-22	Paper
Buffered Communication Analysis in Distributed Multiparty Sessions	2010-08-31	Paper
Parameterised Multiparty Session Types	2010-04-27	Paper

Research outcomes over time

This page was built for person: Pierre-Malo Deniélou