Sfoglia per Rivista
Dynamic role authorization in multiparty conversations
2014-01-01 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface
2015-01-01 Bertrand, N; Tribastone, M
Event-driven adaptation in COP
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Extended differential aggregations in process algebra for performance and biology
2014-01-01 Tribastone, M; Tschaikowski, M
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversible Sessions Using Monitors
2016-01-01 Mezzina, C; Pérez, J.
Tool Supported Analysis of IoT
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Dynamic role authorization in multiparty conversations | 1-gen-2014 | Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H | |
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface | 1-gen-2015 | Bertrand, N; Tribastone, M | |
Event-driven adaptation in COP | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
Extended differential aggregations in process algebra for performance and biology | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E. | |
Reversible Sessions Using Monitors | 1-gen-2016 | Mezzina, C; Pérez, J. | |
Tool Supported Analysis of IoT | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio | |
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio |
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