ZACCHI, Maddalena

ZACCHI, Maddalena  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System 1985 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi; M.Zacchi
A filter model for safe ambients 2004 I. MARGARIA; M. ZACCHI
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
Access control in mobile ambient calculi: A comparative view 2008 I. MARGARIA; M. ZACCHI
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms 1974 M.Dezani ; M.Zacchi
Calcium Spiking Analyser 2011 E. Sciacca; S. Spinella; M. Zacchi
Control Structures in Models for Parallel Computation 1977 Ines Margaria; M. Zacchi
CWC simulator (Calculus of Wrapped Compartments) 2010 Marco Aldinucci; Angelo Troina; Ferruccio Damiani; Mario Coppo; Maurizio Drocco; Daniele Rispoli; Eva Sciacca; Salvatore Spinella; Elena Grassi; Maddalena Zacchi
Determinacy and maximal parallelism in a structured model of parallel computation 1979 I. MARGARIA; A.R. MEO; M. ZACCHI
Elena: A StateJ to Java translator 2010 Emanuele Cazzola; Ferruccio Damiani; Sophia Drossopoulou; Elena Giachino; Paola Giannini; Maddalena Zacchi
Filter models with polymorphic types 1992 B. JACOBS; I. MARGARIA; M. ZACCHI
Generalized filter models 2000 I. MARGARIA; M. ZACCHI
Isomorphism of "Functional" Intersection Types 2014 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Isomorphism of intersection and union types 2017 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS 1983 Ines Margaria; Maddalena 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
Principal Typing in a "Ù-Discipline 1995 I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline 1995 I. MARGARIA; M. ZACCHI