Sfoglia per Rivista LOGICAL METHODS IN COMPUTER SCIENCE
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna
Honesty by Typing
2016-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto
On Resolving Non-determinism in Choreographies
2020-01-01 Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
On Sessions and Infinite Data
2017-01-01 Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola
On the Axiomatisability of Parallel Composition
2022-01-01 Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R.
Rule Formats for Nominal Process Calculi
2019-01-01 Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
Sound approximate and asymptotic probabilistic bisimulations for PCTL
2023-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012
2013-01-01 Aceto, L; Birkedal, L
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Timed Session Types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties | 1-gen-2023 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna | |
Honesty by Typing | 1-gen-2016 | Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto | |
On Resolving Non-determinism in Choreographies | 1-gen-2020 | Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio | |
On Sessions and Infinite Data | 1-gen-2017 | Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola | |
On the Axiomatisability of Parallel Composition | 1-gen-2022 | Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R. | |
Rule Formats for Nominal Process Calculi | 1-gen-2019 | Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda | |
Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 | 1-gen-2013 | Aceto, L; Birkedal, L | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Timed Session Types | 1-gen-2017 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio | |
Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto |
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