ZACCHI, Maddalena
ZACCHI, Maddalena
INFORMATICA
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.023 secondi).
A new scheme for analyzing parallel processing systems
1975-01-01 I. MARGARIA; A.R. MEO; M. ZACCHI
A Study of Multiple Activations in a Model for Parallel Computations
1977-01-01 Ines Margaria; Maddalena Zacchi
Control Structures in Models for Parallel Computation
1977-01-01 Ines Margaria; M. Zacchi
Isomorphism of "Functional" Intersection Types
2014-01-01 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
On Isomorphism of "Functional" Intersection and Union Types.
2015-01-01 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Partial and Complete Processes in Multiparty Sessions
2015-01-01 Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Toward Isomorphism of Intersection and Union Types
2013-01-01 Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
Tree-manipulation in an algorithm for maximizing parallelism
1978-01-01 Ines Margaria; Maddalena Zacchi
Type Inference and Logical Relations
1986-01-01 M. COPPO; M. ZACCHI
Type inference and Logical relations
1986-01-01 M. Coppo;M. Zacchi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A new scheme for analyzing parallel processing systems | 1975 | I. MARGARIA; A.R. MEO; M. ZACCHI | |
A Study of Multiple Activations in a Model for Parallel Computations | 1977 | Ines Margaria; Maddalena Zacchi | |
Control Structures in Models for Parallel Computation | 1977 | Ines Margaria; M. Zacchi | |
Isomorphism of "Functional" Intersection Types | 2014 | M. Coppo;M. Dezani;I. Margaria;M. Zacchi | |
On Isomorphism of "Functional" Intersection and Union Types. | 2015 | Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
Partial and Complete Processes in Multiparty Sessions | 2015 | Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
Toward Isomorphism of Intersection and Union Types | 2013 | Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi | |
Tree-manipulation in an algorithm for maximizing parallelism | 1978 | Ines Margaria; Maddalena Zacchi | |
Type Inference and Logical Relations | 1986 | M. COPPO; M. ZACCHI | |
Type inference and Logical relations | 1986 | M. Coppo;M. Zacchi |