E-LIB Suche - Ergebnisse für: Deniélou, Pierre-Malo

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:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Deniélou, Pierre-Malo ; Yoshida, Nobuko - p. 435-446 , 2011

Link: https://dl.acm.org/doi/1..

5

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/..

6

Abstraction preservation and subtyping in distributed langu..:

, In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming,

Deniélou, Pierre-Malo ; Leifer, James J. - p. 286-297 , 2006

Link: https://dl.acm.org/doi/1..

7

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/..

8

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-..

9

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..

10

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..

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...
info:eu-repo/semantics/altIdentifier/arxiv/1510.02229. , 2015

Link: https://inria.hal.scienc..

13

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..

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...