An Interpretation of Typed Concurrent Objects in the Blue Calculus

Silvano Dal Zilio
In IFIP TCS 2000 — International Conference on Theoretical Computer Science, aug 2000.

 PDF  DOI〈10.1007/3-540-44929-9_29〉

Abstract

#

We propose an interpretation of a typed concurrent calculus of objects based on the model of Abadi and Cardelli imperative object calculus. The target of our interpretation is a version of the blue calculus, a variant of the pi-calculus that directly contains the lambda calculus, with record and first-order types. We show that reduction and type judgments can be derived in a rather simple and natural way, and that our encoding can be extended to self-types and synchronization primitives. We also prove some equational laws on objects.

Citation

#

@InProceedings{DalzilioS:interptypcoo,
   author    = {{Dal Zilio}, Silvano},
   title     = {{An Interpretation of Typed Concurrent Objects in the Blue Calculus}},
   booktitle = {IFIP TCS 2000 -- International Conference on Theoretical Computer Science},
   series    = {Lecture Notes in Computer Science},
   volume    = {1872},
   publisher = {Springer-Verlag},
   doi = {10.1007/3-540-44929-9_29},
   pages     = {409--424},
   month     = aug, 
   year      = 2000
}