Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems
2018-01-01 Papadopoulos, Alessandro Vittorio; Bini, Enrico; Baruah, Sanjoy; Burns, Alan
A certified study of a reversible programming language
2018-01-01 Luca Paolini; Mauro Piccolo; Luca Roversi
End-to-end deadlines over dynamic topologies
2019-01-01 Millnert V.; Eker J.; Bini E.
Flexible coinduction in Agda
2021-01-01 Ciccone L.; Dagnino F.; Zucca E.
Functional Programming for Distributed Systems with XC
2022-01-01 Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Global Escape in Multiparty Sessions
2010-01-01 Sara Capecchi; Elena Giachino; Nobuko Yoshida
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
2021-01-01 Luca Ciccone; Luca Padovani
Isomorphism of "Functional" Intersection Types
2014-01-01 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Mailbox Types for Unordered Interactions
2018-01-01 Ugo de'Liguoro; Luca Padovani
Mixin Composition Synthesis Based on Intersection Types
2015-01-01 Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
Non-Commutative Infinitary Peano Arithmetic
2011-01-01 M. Tatsuta; S. Berardi
Observability for Pair Pattern Calculi
2015-01-01 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Probabilistic Analysis of Binary Sessions
2020-01-01 Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
2014-01-01 S. Berardi; S. Steila
Solvability in a probabilistic setting
2020-01-01 S. Ronchi Della Rocca, U. Dal Lago, C. Faggian
Standardization of a Call-By-Value Lambda-Calculus
2015-01-01 Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
2021-01-01 James C. A. Main, Mickael Randour, Jeremy Sproston
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems | 2018 | Papadopoulos, Alessandro Vittorio; Bini, Enrico; Baruah, Sanjoy; Burns, Alan | |
A certified study of a reversible programming language | 2018 | Luca Paolini; Mauro Piccolo; Luca Roversi | |
End-to-end deadlines over dynamic topologies | 2019 | Millnert V.; Eker J.; Bini E. | |
Flexible coinduction in Agda | 2021 | Ciccone L.; Dagnino F.; Zucca E. | |
Functional Programming for Distributed Systems with XC | 2022 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli | |
Global Escape in Multiparty Sessions | 2010 | Sara Capecchi; Elena Giachino; Nobuko Yoshida | |
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types | 2021 | Luca Ciccone; Luca Padovani | |
Isomorphism of "Functional" Intersection Types | 2014 | M. Coppo;M. Dezani;I. Margaria;M. Zacchi | |
Mailbox Types for Unordered Interactions | 2018 | Ugo de'Liguoro; Luca Padovani | |
Mixin Composition Synthesis Based on Intersection Types | 2015 | Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob | |
Non-Commutative Infinitary Peano Arithmetic | 2011 | M. Tatsuta; S. Berardi | |
Observability for Pair Pattern Calculi | 2015 | Bucciarelli A.; Kesner D.; Ronchi Della Rocca S. | |
Probabilistic Analysis of Binary Sessions | 2020 | Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto | |
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic | 2014 | S. Berardi; S. Steila | |
Solvability in a probabilistic setting | 2020 | S. Ronchi Della Rocca, U. Dal Lago, C. Faggian | |
Standardization of a Call-By-Value Lambda-Calculus | 2015 | Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S. | |
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives | 2021 | James C. A. Main, Mickael Randour, Jeremy Sproston |
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