I agree that this site is using cookies. You can find further informations here.
X
Pierre-Malo Denielou
19  results:
OpenAccess-fulltext X
Search for persons X
?
1

Parameterised Multiparty Session Types:

Pierre-Malo Denielou ; Nobuko Yoshida ; Andi Bejleri.
https://lmcs.episciences.org/924/pdf.  , 2012
Link: https://doi.org/10.2168/..
 
?
2

Secure Execution of Distributed Session Programs:

Nuno Alves ; Raymond Hu ; Nobuko Yoshida.
http://arxiv.org/pdf/1110.4156v1.  , 2011
Link: https://doi.org/10.4204/..
 
?
3

Foundations of session types and behavioural contracts:

Hüttel, Hans ; LANESE, IVAN ; Vasconcelos, Vasco T...
info:eu-repo/semantics/altIdentifier/wos/WOS:000382136100003.  , 2016
Link: http://hdl.handle.net/11..
 
?
4

Behavioral Types in Programming Languages:

Yoshida, Nobuko ; Vasconcelos, Vasco T ; Padovani, Luca...
info:eu-repo/semantics/altIdentifier/wos/WOS:000409572300001.  , 2016
Link: http://hdl.handle.net/11..
 
?
5

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Tuosto, Emilio ; Vieira, Hugo Torres...
info:eu-repo/semantics/altIdentifier/doi/10.1145/2873052.  , 2016
Link: https://hal.science/hal-..
 
?
6

Foundations of session types and behavioural contracts:

Hans Hüttel ; Ivan Lanese ; Vasco T. Vasconcelos...
info:eu-repo/semantics/altIdentifier/wos/WOS:000382136100003.  , 2016
Link: http://hdl.handle.net/23..
 
?
7

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Tuosto, Emilio ; Vieira, Hugo Torres...
info:eu-repo/semantics/altIdentifier/doi/10.1145/2873052.  , 2016
Link: https://hal.archives-ouv..
 
?
8

Foundations of Session Types and Behavioural Contracts:

Huttel, Hans ; Lanese, Ivan ; T. Vasconcelos, Vasco...
https://vbn.aau.dk/da/publications/cc6e824e-cedb-404e-81eb-209f09ecce4b.  , 2016
Link: https://vbn.aau.dk/da/pu..
 
?
9

Behavioral Types in Programming Languages:

Davide Ancona ; BONO, Viviana ; Mario Bravetti...
info:eu-repo/semantics/altIdentifier/wos/WOS:000409572300001.  , 2016
Link: http://hdl.handle.net/23..
 
?
10

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
info:eu-repo/semantics/altIdentifier/arxiv/1510.02229.  , 2015
Link: https://inria.hal.scienc..
 
?
11

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
info:eu-repo/semantics/altIdentifier/arxiv/1510.02229.  , 2015
Link: https://inria.hal.scienc..
 
?
12

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
http://arxiv.org/abs/1510.02229.  , 2015
Link: http://arxiv.org/abs/151..
 
?
13

Combining behavioural types with security analysis:

Massimo Bartoletti ; Castellani Ilaria ; Pierre Malo Denielou...
info:eu-repo/semantics/altIdentifier/wos/WOS:000365453100004.  , 2015
Link: http://hdl.handle.net/23..
 
?
14

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
https://research.rug.nl/en/publications/1f66778d-a58e-45d0-9a41-0b2bfc0707b4.  , 2015
Link: https://hdl.handle.net/1..
 
?
15

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
http://eprints.imtlucca.it/2743/1/wg2soar.pdf.  , 2015
Link: http://eprints.imtlucca...
 
1-15