BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Estonia
1 × Latvia
2 × USA
Collaborated with:
N.Yoshida J.J.Leifer A.Bejleri R.Hu
Talks about:
session (4) type (4) multiparti (3) communic (2) automata (2) parameteris (1) characteris (1) distribut (1) synthesi (1) multirol (1)

Person: Pierre-Malo Deniélou

DBLP DBLP: Deni=eacute=lou:Pierre=Malo

Contributed to:

ICALP (2) 20132013
ESOP 20122012
POPL 20112011
FOSSACS 20102010
ICFP 20062006

Wrote 5 papers:

ICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.
ESOP-2012-DenielouY #automaton #communication #multi
Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.
POPL-2011-DenielouY #multi
Dynamic multirole session types (PMD, NY), pp. 435–446.
FoSSaCS-2010-YoshidaDBH #multi
Parameterised Multiparty Session Types (NY, PMD, AB, RH), pp. 128–145.
ICFP-2006-DenielouL #abstraction #distributed #type system
Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.