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

1

A type language for message passing component-based systems:

Savanović, Zorica ; Galletta, Letterio ; Vieira, Hugo Torres
http://arxiv.org/abs/2009.07989. , 2020

Link: http://arxiv.org/abs/200..

2

Choreographies for Reactive Programming:

Carbone, Marco ; Montesi, Fabrizio ; Vieira, Hugo Torres
http://arxiv.org/abs/1801.08107. , 2018

Link: http://arxiv.org/abs/180..

3

Operation Control Protocols in Power Distribution Grids:

Alrahman, Yehia Abd ; Vieira, Hugo Torres
http://arxiv.org/abs/1811.01942. , 2018

Link: http://arxiv.org/abs/181..

4

A Calculus for Modeling Floating Authorizations:

Pantovic, Jovanka ; Prokic, Ivan ; Vieira, Hugo Torres
http://arxiv.org/abs/1802.05863. , 2018

Link: http://arxiv.org/abs/180..

5

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

6

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

7

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://arxiv.org/abs/1602.03596. , 2016

Link: http://arxiv.org/abs/160..

8

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

9

Proceedings 9th Interaction and Concurrency Experience:

Bartoletti, Massimo ; Henrio, Ludovic ; Knight, Sophia.
http://arxiv.org/abs/1608.03131. , 2016

Link: http://arxiv.org/abs/160..

10

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

11

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

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

13

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

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:

Massimo Bartoletti ; Castellani Ilaria ; Pierre Malo Denielou...
info:eu-repo/semantics/altIdentifier/wos/WOS:000365453100004. , 2015

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