Sfoglia per Autore
Reversing P/T Nets
2019 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Testing for Coordination Fidelity
2019 Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres
Evaluating the efficiency of Linda implementations
2018 Buravlev, Vitaly; De Nicola, Rocco; Mezzina, CLAUDIO ANTARES
On Reversibility and Broadcast
2018 Mezzina, Claudio Antares
Reversible Choreographies via Monitoring in Erlang
2018 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies
2018 Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares
Causally consistent reversible choreographies: A monitors-as-memories approach
2017 Mezzina, C; Pérez, J.
Reliability and Fault-Tolerance by Choreographic Design
2017 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversibility in session-based concurrency: A fresh look
2017 Mezzina, C; Pérez, J.
A safety and liveness theory for total reversibility
2017 Mezzina, Claudio Antares; Koutavas, Vasileios
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
Causal-consistent rollback in a tuple-based language
2017 Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F.
Tuple spaces implementations and their efficiency
2016 Buravlev, V.; De Nicola, R; Mezzina, C
Reversibility in the higher-order (pi)-calculus
2016 I., Lanese; Mezzina, C; J. -B., Stefani
Reversible Sessions Using Monitors
2016 Mezzina, C; Pérez, J.
Static VS Dynamic Reversibility in CCS
2016 Medic, D; Mezzina, C
Reversible semantics in session-based concurrency
2016 Mezzina, C. A.; P('e)rez, J. A.
Causal-Consistent Reversibility in a Tuple-Based Language
2015 E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi
Global protocol implementations via attribute-based communication
2015 R, De Nicola; Mezzina, Claudio A.; H, MENDES TORRES VIEIRA
A Goal Model for Collective Adaptive Systems
2014 Bucchiarone, A.; Mezzina, C; Raik, H.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reversing P/T Nets | 1-gen-2019 | Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek | |
Testing for Coordination Fidelity | 1-gen-2019 | Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres | |
Evaluating the efficiency of Linda implementations | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Mezzina, CLAUDIO ANTARES | |
On Reversibility and Broadcast | 1-gen-2018 | Mezzina, Claudio Antares | |
Reversible Choreographies via Monitoring in Erlang | 1-gen-2018 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares | |
Causally consistent reversible choreographies: A monitors-as-memories approach | 1-gen-2017 | Mezzina, C; Pérez, J. | |
Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E. | |
Reversibility in session-based concurrency: A fresh look | 1-gen-2017 | Mezzina, C; Pérez, J. | |
A safety and liveness theory for total reversibility | 1-gen-2017 | Mezzina, Claudio Antares; Koutavas, Vasileios | |
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) | 1-gen-2017 | Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V | |
Causal-consistent rollback in a tuple-based language | 1-gen-2017 | Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F. | |
Tuple spaces implementations and their efficiency | 1-gen-2016 | Buravlev, V.; De Nicola, R; Mezzina, C | |
Reversibility in the higher-order (pi)-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani | |
Reversible Sessions Using Monitors | 1-gen-2016 | Mezzina, C; Pérez, J. | |
Static VS Dynamic Reversibility in CCS | 1-gen-2016 | Medic, D; Mezzina, C | |
Reversible semantics in session-based concurrency | 1-gen-2016 | Mezzina, C. A.; P('e)rez, J. A. | |
Causal-Consistent Reversibility in a Tuple-Based Language | 1-gen-2015 | E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi | |
Global protocol implementations via attribute-based communication | 1-gen-2015 | R, De Nicola; Mezzina, Claudio A.; H, MENDES TORRES VIEIRA | |
A Goal Model for Collective Adaptive Systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Raik, H. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile