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
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