MARGARIA, Ines Maria
MARGARIA, Ines Maria
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 characterization of F-complete assignments
1986-01-01 M. DEZANI-CIANCAGLINI; I. MARGARIA
A Characterization of F-Complete Type Assignments
1986-01-01 M. Dezani-Ciancaglini; I. Margaria
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
Control Structures in Models for Parallel Computation
1977-01-01 Ines Margaria; M. Zacchi
CWC Surface Language Software (Prototypal Software)
2011-01-01 L. Bioglio; M. Coppo; F. Damiani; E. Sciacca; S. Spinella; A. Troina; I. Margaria
DeltaJ: a delta oriented programming language with core and delta modules
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Denis Meglio; Ina Schaefer; Fabio Strocco
Determinacy and maximal parallelism in a structured model of parallel computation
1979-01-01 I. MARGARIA; A.R. MEO; M. ZACCHI
F-Semantics for Intersection Type Discipline
1984-01-01 M.Dezani; I.Margaria
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
Polymorphic Types, Fixed-point Combinators , Continuous Lambda-models
1987-01-01 M. Dezani; I. Margaria