E-LIB Suche - Ergebnisse für: Vieira, Hugo Torres

1

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

2

Foundations of Session Types and Behavioural Contracts:

Huttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco...
Huttel , H , Lanese , I , Vasconcelos , V , Caires , L , Carbone , M , Danielou , P-M , Mostrous , D , Padovani , L , Rabara , A , Tuosto , E , Vieira , H T & Zavattaro , G 2016 , ' Foundations of Session Types and Behavioural Contracts ' , A C M Computing Surveys , vol. 49 , no. 1 , 3 , pp. 1 .. , 2016

Link: https://pure.itu.dk/port..

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

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantovic, Jovanka..
Ghilezan , S , Jakšić , S , Pantovic , J , Perez , J A & Vieira , H T 2016 , ' Dynamic role authorization in multiparty conversations ' , Formal Aspects of Computing , vol. 28 , no. 4 , pp. 643-667 . https://doi.org/10.1007/s00165-016-0363-5 ; ISSN:0934-5043. , 2016

Link: http://hdl.handle.net/11..

5

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/ae58cad8-c086-4124-96f2-e3d576b2e379. , 2016

Link: https://hdl.handle.net/1..

6

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

7

Dynamic Role Authorization in Multiparty Conversations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/189891c3-61a5-4f45-95d0-18065ad163e1. , 2016

Link: https://hdl.handle.net/1..

8

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

9

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

10

Typing Liveness in Multiparty Communicating Systems:

Padovani, Luca ; Vasconcelos, Vasco, Thudichum ; Vieira, Hugo, Torres
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43376-8_10. , 2014

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

11

Typing Liveness in Multiparty Communicating Systems:

Padovani, Luca ; Vasconcelos, Vasco T ; Vieira, Hugo Torres
hal-00960879. , 2014

Link: https://hal.inria.fr/hal..

12

Typing Liveness in Multiparty Communicating Systems:

Padovani, Luca ; Vasconcelos, Vasco, Thudichum ; Vieira, Hugo, Torres
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43376-8_10. , 2014

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

13

Extensionality of Spatial Observations in Distributed Syste..:

Caires, Luís ; Vieira, Hugo Torres
1571-0661. , 2007

Link: http://www.scopus.com/in..

14

An Observational Model for Spatial Logics:

Tuosto, Emilio ; Vieira, Hugo Torres
http://eprints.adm.unipi.it/2126/1/TR-04-20.ps.gz. , 2004

Link: http://eprints.adm.unipi..

15

A type language for message passing component-based systems:

Letterio Galletta ; Hugo Torres Vieira ; Zorica Savanović
url:https://www.openaccessrepository.it/communities/itmirror. , 2020

Link: https://www.openaccessre..