E-LIB Suche - Ergebnisse für: Melgratti, Hernán

1

A Reversible Perspective on Petri Nets and Event Structures:

Melgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele
ACM Transactions on Computational Logic. , 2024

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

2

Multiparty testing preorders:

de Nicola, Rocco ; Melgratti, Hernán
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

3

Relating Reversible Petri Nets and Reversible Event Structu..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele - p. 206-223 , 2023

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

4

Towards refinable choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 127 (2022) - p. 100776 , 2022

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

5

Categorical specification and implementation of Replicated ..:

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian.
Theoretical Computer Science. 903 (2022) - p. 84-112 , 2022

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

6

A Petri net view of covalent bonds:

Melgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele
Theoretical Computer Science. 908 (2022) - p. 89-119 , 2022

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

7

An OCaml Implementation of Binary Sessions:

, In: Behavioural Types,

Melgratti, Hernán ; Padovani, Luca - p. 243-263 , 2022

Link: https://doi.org/10.1201/..

8

A distributed operational view of reversible prime event st..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele - p. 1-13 , 2021

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

9

Towards a Truly Concurrent Semantics for Reversible CCS:

, In: Reversible Computation; Lecture Notes in Computer Science,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele - p. 109-125 , 2021

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

10

Implementation Correctness for Replicated Data Types, Categ..:

, In: Theoretical Aspects of Computing – ICTAC 2020; Lecture Notes in Computer Science,

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian. - p. 283-303 , 2020

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

11

Reversible Occurrence Nets and Causal Reversible Prime Even..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Phillips, Iain.. - p. 35-53 , 2020

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

12

Bayesian network semantics for Petri nets:

Bruni, Roberto ; Melgratti, Hernán ; Montanari, Ugo
Theoretical Computer Science. 807 (2020) - p. 95-113 , 2020

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

13

A Choreography-Driven Approach to APIs: The OpenDXL Case St..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Frittelli, Leonardo ; Maldonado, Facundo ; Melgratti, Hernán. - p. 107-124 , 2020

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

14

Reversing P/T Nets:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Ulidowski, Irek - p. 19-36 , 2019

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

15

Data-Driven Choreographies à la Klaim:

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

Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio... - p. 170-190 , 2019

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