Naviga IRIS

Sfoglia per Rivista

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 4 a 12 di 12

2016-01-01 Tribastone, M.

2014-01-01 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H

2015-01-01 Bertrand, N; Tribastone, M

2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.

2014-01-01 Tribastone, M; Tschaikowski, M

2017-01-01 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.

2016-01-01 Mezzina, C; Pérez, J.

2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio

2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio

Titolo	Data di pubblicazione	Autore(i)
Challenges in quantitative abstractions for collective adaptive systems	1-gen-2016	Tribastone, M.
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

Mostrati risultati da 4 a 12 di 12