An interpretation of typed objects into typed \(\pi\)-calculus
From MaRDI portal
Publication:1271311
DOI10.1006/inco.1998.2711zbMath0914.03039MaRDI QIDQ1271311
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
subtyping; process calculus; object calculus; typing; object-oriented language; typed \(\pi\)-calculus; variant types
68N15: Theory of programming languages
03B70: Logic in computer science
68N01: General topics in the theory of software
Related Items
An algebra of behavioural types, Inheritance in the join calculus., The name discipline of uniform receptiveness, Mobile objects as mobile processes
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