ZACCHI, Maddalena

ZACCHI, Maddalena  

INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.009 secondi).
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