CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 28
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
Tree-manipulation in an algorithm for maximizing parallelism 1978 Ines Margaria; Maddalena Zacchi
Determinacy and maximal parallelism in a structured model of parallel computation 1979 I. MARGARIA; A.R. MEO; M. ZACCHI
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS 1983 Ines Margaria; Maddalena Zacchi
Right and Left invertibility in lambda-beta calculus 1983 I. MARGARIA; M. ZACCHI
Semantica della macchina X-CODE 1984 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
F-Semantics for Intersection Type Discipline 1984 M.Dezani; I.Margaria
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
Semantics of the CNET Internode Communication Mechanism 1985 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
A Characterization of F-Complete Type Assignments 1986 M. Dezani-Ciancaglini; I. Margaria
A characterization of F-complete assignments 1986 M. DEZANI-CIANCAGLINI; I. MARGARIA
Polymorphic Types, Fixed-point Combinators , Continuous Lambda-models 1987 M. Dezani; I. Margaria
Filter models with polymorphic types 1992 B. JACOBS; I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline 1995 I. MARGARIA; M. ZACCHI
Generalized filter models 2000 I. MARGARIA; M. ZACCHI
A filter model for safe ambients 2004 I. MARGARIA; M. ZACCHI
Access control in mobile ambient calculi: A comparative view 2008 I. MARGARIA; M. ZACCHI
SWRTJ - Sugared Welterweight Record-Trait Java 2010 Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Fabio Strocco
Mostrati risultati da 1 a 20 di 28
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