Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Vieira, Hugo Torres
1465  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Preface for the special issue on tool papers of the 23rd In..:

Audrito, Giorgio ; Inverso, Omar ; Vieira, Hugo Torres
Science of Computer Programming.  225 (2023)  - p. 102899 , 2023
Link: https://doi.org/10.1016/..
 
?
2

The C-calculus: A model for confidential name passing:

Prokić, Ivan ; Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming.  119 (2021)  - p. 100622 , 2021
Link: https://doi.org/10.1016/..
 
?
3

Preface for the special issue on tool papers of the 21st In..:

Inverso, Omar ; Vieira, Hugo Torres
Science of Computer Programming.  204 (2021)  - p. 102592 , 2021
Link: https://doi.org/10.1016/..
 
?
4

A calculus for modeling floating authorizations:

Prokić, Ivan ; Pantović, Jovanka ; Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming.  107 (2019)  - p. 136-174 , 2019
Link: https://doi.org/10.1016/..
 
?
5

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming.  86 (2017)  1 - p. 1 , 2017
Link: https://doi.org/10.1016/..
 
?
6

DisCoTec 2016 conference report:

Vieira, Hugo Torres
ACM SIGLOG News.  3 (2016)  3 - p. 78-79 , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

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

DisCoTec 2016 conference report:

Vieira, Hugo Torres
ACM SIGLOG News.  3 (2016)  3 - p. 78-79 , 2016
Link: https://doi.org/10.1145/..
 
?
9

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
Formal Aspects of Computing.  28 (2016)  4 - p. 643-667 , 2016
Link: https://doi.org/10.1007/..
 
?
10

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

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

Conversation types:

Caires, Luís ; Vieira, Hugo Torres
Theoretical Computer Science.  411 (2010)  51-52 - p. 4399-4440 , 2010
Link: https://doi.org/10.1016/..
 
?
13

Extensionality of Spatial Observations in Distributed Syste..:

Caires, Luís ; Vieira, Hugo Torres
Electronic Notes in Theoretical Computer Science.  175 (2007)  3 - p. 131-149 , 2007
Link: https://doi.org/10.1016/..
 
?
14

An Observational Model for Spatial Logics:

Tuosto, Emilio ; Vieira, Hugo Torres
Electronic Notes in Theoretical Computer Science.  142 (2006)  - p. 229-254 , 2006
Link: https://doi.org/10.1016/..
 
?
15

A coordination protocol language for power grid operation c..:

Abd Alrahman, Yehia ; Torres Vieira, Hugo
Journal of Logical and Algebraic Methods in Programming.  109 (2019)  - p. 100487 , 2019
Link: https://doi.org/10.1016/..
 
1-15