Sfoglia per Rivista THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mostrati risultati da 1 a 4 di 4
Causal-consistent rollback in a tuple-based language
2017-01-01 Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F.
Editor's Note
2014-01-01 De Nicola, R
A formal approach to the engineering of domain-specific distributed systems
2020-01-01 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
Reversibility in session-based concurrency: A fresh look
2017-01-01 Mezzina, C; Pérez, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Causal-consistent rollback in a tuple-based language | 1-gen-2017 | Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F. | |
Editor's Note | 1-gen-2014 | De Nicola, R | |
A formal approach to the engineering of domain-specific distributed systems | 1-gen-2020 | De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F. | |
Reversibility in session-based concurrency: A fresh look | 1-gen-2017 | Mezzina, C; Pérez, J. |
Mostrati risultati da 1 a 4 di 4
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