Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Objects
An Interpretation of Typed Concurrent Objects in the Blue Calculus
We propose an interpretation of a typed concurrent calculus of objects based on the model of Abadi and Cardelli imperative object …
Silvano Dal Zilio
PDF
Cite
Project
DOI
An Interpretation of Extensible Objects
We provide a translation of Fisher-Honsell-Mitchell’s delegation-based object calculus with subtyping into a lambda-calculus with …
Gérard Boudol
,
Silvano Dal Zilio
PDF
Cite
Project
DOI
Concurrent Objects in the Blue Calculus
We describe a model of concurrent objects based on the blue calculus, a typed variant of the asynchronous pi-calculus in which the …
Silvano Dal Zilio
PDF
Cite
Project
Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
In this paper, we study a model of migrating objects based on the blue calculus, extended with a very simple system of localities. We …
Silvano Dal Zilio
PDF
Cite
Project
Cite
×