DURIER, ADRIEN
DURIER, ADRIEN
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.015 secondi).
Eager functions as processes
2022 Durier, A; Hirschkoff, D; Sangiorgi, D
Towards ‘up to context’ reasoning about higher-order processes
2020 Durier A.; Hirschkoff D.; Sangiorgi D.
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS
2019 Durier, A; Hirschkoff, D; Sangiorgi, D
Eager functions as processes
2018 Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
Divergence and unique solution of equations
2017 Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Eager functions as processes | Durier, A; Hirschkoff, D; Sangiorgi, D | 2022-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | tcs_durier_iris.pdf |
| Towards ‘up to context’ reasoning about higher-order processes | Durier A.; Hirschkoff D.; Sangiorgi D. | 2020-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | DStcs.pdf |
| DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS | Durier, A; Hirschkoff, D; Sangiorgi, D | 2019-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1806.11354.pdf |
| Eager functions as processes | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2018-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | lics_final_IRIS.pdf |
| Divergence and unique solution of equations | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2017-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2017-11.pdf |