Sfoglia per Rivista  

Opzioni
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

Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
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
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
Mostrati risultati da 1 a 9 di 9
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