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

1

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

2

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

Bartoletti, Massimo ; Henrio, Ludovic ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming. 98 (2018) - p. 26 , 2018

Link: https://doi.org/10.1016/..

3

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

Lanese, Ivan ; Lluch Lafuente, Alberto ; Sokolova, Ana.
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 3 - p. 367 , 2016

Link: https://doi.org/10.1016/..

4

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

5

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

6

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

7

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

8

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

9

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

10

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

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

DisCoTec 2016 conference report:

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

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

13

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

14

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

15

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