Sfoglia per Autore
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms
1974-01-01 M.Dezani ; 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
Control Structures in Models for Parallel Computation
1977-01-01 Ines Margaria; M. Zacchi
Tree-manipulation in an algorithm for maximizing parallelism
1978-01-01 Ines Margaria; Maddalena Zacchi
Determinacy and maximal parallelism in a structured model of parallel computation
1979-01-01 I. MARGARIA; A.R. MEO; M. ZACCHI
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS
1983-01-01 Ines Margaria; Maddalena Zacchi
Right and Left invertibility in lambda-beta calculus
1983-01-01 I. MARGARIA; M. ZACCHI
Semantica della macchina X-CODE
1984-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
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
Semantics of the CNET Internode Communication Mechanism
1985-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. 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
Type Theories, Normal Forms and D-infinity–lambda-models
1987-01-01 M. COPPO; M. DEZANI CIANCAGLINI; M. ZACCHI
Filter models with polymorphic types
1992-01-01 B. JACOBS; I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline
1995-01-01 I. MARGARIA; M. ZACCHI
Principal Typing in a "Ù-Discipline
1995-01-01 I. MARGARIA; M. ZACCHI
Generalized filter models
2000-01-01 I. MARGARIA; M. ZACCHI
A filter model for safe ambients
2004-01-01 I. MARGARIA; M. ZACCHI
Access control in mobile ambient calculi: A comparative view
2008-01-01 I. MARGARIA; M. ZACCHI
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile