An interpretation of typed objects into typed \(\pi\)-calculus

DOI10.1006/inco.1998.2711zbMath0914.03039OpenAlexW2047084525MaRDI QIDQ1271311

Davide Sangiorgi

Publication date: 21 June 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1998.2711

zbMATH Keywords

subtypingprocess calculusobject calculustypingobject-oriented languagetyped \(\pi\)-calculusvariant types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (8)

Mixed Sessions ⋮ The name discipline of uniform receptiveness (extended abstract) ⋮ Session types revisited ⋮ An algebra of behavioural types ⋮ The name discipline of uniform receptiveness ⋮ Inheritance in the join calculus. ⋮ Mobile objects as mobile processes ⋮ Mixed sessions

Cites Work

• Unnamed Item
• Unnamed Item
• Object technologies for advanced software. 1st JSSST International symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
• Imperative objects as mobile processes
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Issues in the design of a parallel object-oriented language
• A calculus of mobile processes. II
• Partial confluence of processes and systems of objects
• On the expressiveness of internal mobility in name-passing calculi
• Objects in the \(\pi\)-calculus
• Polarized name passing
• Functions as processes
• An imperative object calculus
• Barbed bisimulation

This page was built for publication: An interpretation of typed objects into typed \(\pi\)-calculus