ZACCHI, Maddalena
ZACCHI, Maddalena
INFORMATICA
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System
1985-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi; M.Zacchi
A filter model for safe ambients
2004-01-01 I. MARGARIA; M. ZACCHI
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
Access control in mobile ambient calculi: A comparative view
2008-01-01 I. MARGARIA; M. ZACCHI
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms
1974-01-01 M.Dezani ; M.Zacchi
Calcium Spiking Analyser
2011-01-01 E. Sciacca; S. Spinella; M. Zacchi
Control Structures in Models for Parallel Computation
1977-01-01 Ines Margaria; M. Zacchi
CWC simulator (Calculus of Wrapped Compartments)
2010-01-01 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-01-01 I. MARGARIA; A.R. MEO; M. ZACCHI
Elena: A StateJ to Java translator
2010-01-01 Emanuele Cazzola; Ferruccio Damiani; Sophia Drossopoulou; Elena Giachino; Paola Giannini; Maddalena Zacchi
Filter models with polymorphic types
1992-01-01 B. JACOBS; I. MARGARIA; M. ZACCHI
Generalized filter models
2000-01-01 I. MARGARIA; M. ZACCHI
Isomorphism of "Functional" Intersection Types
2014-01-01 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Isomorphism of intersection and union types
2017-01-01 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS
1983-01-01 Ines Margaria; Maddalena 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
Principal Typing in a "Ù-Discipline
1995-01-01 I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline
1995-01-01 I. MARGARIA; M. ZACCHI
| 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 |