Sfoglia per Autore
Variations in use and access of mental health services in Europe
2020-01-01 Borghini, A.; Seghieri, C.; Brodo, L.; Breschi, M.
A process algebraic approach to reaction systems
2020-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Verification techniques for a network algebra
2020-01-01 Brodo, L; Olarte, C
The link-calculus for open multiparty interactions
2020-01-01 Bodei, C; Brodo, L; Bruni, R
A Constraint-based language for multiparty interactions
2020-01-01 Brodo, L.; Olarte, C.
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.
Quantitative extensions of reaction systems based on SOS semantics
In corso di stampa Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Variations in use and access of mental health services in Europe | 1-gen-2020 | Borghini, A.; Seghieri, C.; Brodo, L.; Breschi, M. | |
A process algebraic approach to reaction systems | 1-gen-2020 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Verification techniques for a network algebra | 1-gen-2020 | Brodo, L; Olarte, C | |
The link-calculus for open multiparty interactions | 1-gen-2020 | Bodei, C; Brodo, L; Bruni, R | |
A Constraint-based language for multiparty interactions | 1-gen-2020 | Brodo, L.; Olarte, C. | |
A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P. | |
Quantitative extensions of reaction systems based on SOS semantics | In corso di stampa | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo |
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