Sfoglia per Rivista
A design-by-contract approach to recover the architectural style from run-time misbehaviour
2015-01-01 Poyias, Kyriakos; Tuosto, E
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
2014-01-01 Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S
Multi-agent systems with virtual stigmergy
2020-01-01 De Nicola, R; Di Stefano, L; Inverso, O
On the specification of modal systems: A comparison of three frameworks
2013-01-01 Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M
PomCho: A tool chain for choreographic design
2021-01-01 Guanciale, Roberto; Tuosto, Emilio
PSTMonitor: Monitor synthesis from probabilistic session types
2022-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Rule formats for determinism and idempotence
2012-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A design-by-contract approach to recover the architectural style from run-time misbehaviour | 1-gen-2015 | Poyias, Kyriakos; Tuosto, E | |
Modelling and simulation of asynchronous real-time systems using Timed Rebeca | 1-gen-2014 | Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S | |
Multi-agent systems with virtual stigmergy | 1-gen-2020 | De Nicola, R; Di Stefano, L; Inverso, O | |
On the specification of modal systems: A comparison of three frameworks | 1-gen-2013 | Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M | |
PomCho: A tool chain for choreographic design | 1-gen-2021 | Guanciale, Roberto; Tuosto, Emilio | |
PSTMonitor: Monitor synthesis from probabilistic session types | 1-gen-2022 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
Rule formats for determinism and idempotence | 1-gen-2012 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A |
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