E-LIB Suche - Ergebnisse für: Pierre-Malo Denielou

1

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

2

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

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

Parameterised Multiparty Session Types:

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

Link: https://doi.org/10.2168/..

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

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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