I agree that this site is using cookies. You can find further informations here.
X
Pierre-Malo Denielou
8  results:
Articles (Online) X
Search for persons X
?
1

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys.  49 (2016)  1 - p. 1-36 , 2016
Link: https://doi.org/10.1145/..
 
?
2

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys (CSUR).  49 (2016)  1 - p. 1-36 , 2016
Link: https://dl.acm.org/doi/1..
 
?
3

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
Journal of Logical and Algebraic Methods in Programming.  84 (2015)  6 - p. 763-780 , 2015
Link: https://doi.org/10.1016/..
 
?
4

Dynamic multirole session types:

Deniélou, Pierre-Malo ; Yoshida, Nobuko
ACM SIGPLAN Notices.  46 (2011)  1 - p. 435-446 , 2011
Link: https://doi.org/10.1145/..
 
?
5

Abstraction preservation and subtyping in distributed langu..:

Deniélou, Pierre-Malo ; Leifer, James J.
ACM SIGPLAN Notices.  41 (2006)  9 - p. 286-297 , 2006
Link: https://doi.org/10.1145/..
 
?
6

DÉBATS:

Agblemagnon, N'Sougan ; Kaddoura, Abdul-Razzak ; Auger, Pierre...
Revue Tiers Monde.  20 (1979)  78 - p. 339-346 , 1979
Link: https://www.jstor.org/st..
 
?
7

High-temperature calorimetric measurements: silver sulphate..:

Denielou, Lucien ; Petitet, Jean-Pierre ; Tequi, Cristophe
The Journal of Chemical Thermodynamics.  7 (1975)  9 - p. 901-902 , 1975
Link: https://doi.org/10.1016/..
 
?
8

Thermodynamic study of alkali sulphates:

Denielou, Lucien ; Petitet, Jean-Pierre ; Tequi, Christophe
Thermochimica Acta.  9 (1974)  2 - p. 135-141 , 1974
Link: https://doi.org/10.1016/..
 
1-8