Imperative objects as mobile processes

DOI10.1016/S0167-6423(02)00034-5MaRDI QIDQ701046zbMATH OpenFDO

Authors Josva Kleist, Davide Sangiorgi

Publication date 16 October 2002

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

typed \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An interpretation of typed objects into typed -calculus
• scientific article; zbMATH DE number 954809
• scientific article; zbMATH DE number 1231588
• scientific article; zbMATH DE number 1759485
• An imperative object calculus

Cited in

(5)

• Genericity and the \(\pi\)-calculus
• An interpretation of typed objects into typed -calculus
• Inheritance in the join calculus.
• Imperative object-based calculi in co-inductive type theories
• Mobile objects as mobile processes

This page was built for publication: Imperative objects as mobile processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701046)