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

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

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

3

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

4

Testing for Coordination Fidelity:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Alrahman, Yehia Abd ; Mezzina, Claudio Antares ; Vieira, Hugo Torres - p. 152-169 , 2019

Link: https://doi.org/10.1007/..

5

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

6

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

7

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

8

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

9

DisCoTec 2016 conference report:

Vieira, Hugo Torres
ACM SIGLOG News. 3 (2016) 3 - p. 78-79 , 2016

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

10

Session details: Volume II: Software design and development..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

ter Beek, Maurice ; Melgratti, Hernán ; Vieira, Hugo Torres , 2016

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

11

DisCoTec 2016 conference report:

Vieira, Hugo Torres
ACM SIGLOG News. 3 (2016) 3 - p. 78-79 , 2016

Link: https://doi.org/10.1145/..

12

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

13

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

14

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

15

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