Cryptographic Protocol Synthesis and Verification for Multiparty Sessions von Bhargavan, K., Corin, R., Denielou, P.-M., Fournet, C., Leifer, J.J.

Volltext

Secure Implementations for Typed Session Abstractions von Corin, R., Denielou, P.-M., Fournet, C., Bhargavan, K., Leifer, J.

Volltext

Behavioral types in programming languages von Ancona, D, Bono, V, Bravetti, M, Campos, J, Castagna, G, Denielou, P, Gay, S, Gesbert, N, Giachino, E, Hu, R, Johnsen, EB, Martins, F, Mascardi, V, Montesi, F, Neykova, R, Ng, C, Padovani, L, Vasconcelos, VT, Yoshida, N

Volltext

Multiparty compatibility in communicating automata: characterisation and synthesis of global session types von Denielou, P-M, Yoshida, N

Volltext bestellen

Multiparty compatibility in communicating automata: characterisation and synthesis of global session types von Denielou, P-M, Yoshida, N

Volltext bestellen

Secure execution of distributed session programs von Alves, N, Hu, R, Yoshida, N, Deniélou, P-M

Volltext bestellen

Buffered Communication Analysis in Distributed Multiparty Sessions von Deniélou, Pierre-Malo, Yoshida, Nobuko

Volltext

Thermodynamic properties of quartz, cristobalite and amorphous SiO2: drop calorimetry measurements between 1000 and 1800 K and a review from 0 to 2000 K von Richet, P., Bottinga, Y., Denielou, L., Petitet, J.P., Tequi, C.

Volltext

Experimental determination of the thermal conductivity of molten pure salts and salt mixtures von TUFEU, R, PETITET, J. P, DENIELOU, L, LE NEINDRE, B

Volltext

Thermodynamic properties of molten nitrates under pressure obtained from velocity of sound von Petitet, J.P., Denielou, L., Tufeu, R.

Volltext

Velocity of sound in supercritical water up to 700°C and 300 MPa von PETITET, J. P, DENIELOU, L, TUFEU, R, LE NEINDRE, B

Volltext

Thermodynamic properties of quartz, cristobalite and amorphous SiO 2: drop calorimetry measurements between 1000 and 1800 K and a review from 0 to 2000 K von Richet, P., Bottinga, Y., Denielou, L., Petitet, J.P., Tequi, C.

Volltext

High-temperature calorimetric measurements: silver sulphate and alkali chromates, molybdates, and tungstates von Denielou, Lucien, Petitet, Jean-Pierre, Tequi, Cristophe

Volltext

Enthalpy measurements on LiAlCl4 and SnAl2Cl8 von DENIELOU, L, PETITET, J.-P, TEQUI, C

Volltext

Thermodynamic functions for Na2CrO4 and Na2WO4 von Demielou, Lucien, Petitet, Jean-Pierre, Tequi, Christophe

Volltext