Abstract
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using labeled messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible with the JoCaml implementation of the join calculus.
Cite
CITATION STYLE
Fournet, C., Laneve, C., Maranget, L., & Rémy, D. (2000). Inheritance in the join calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1974, pp. 397–408). Springer Verlag. https://doi.org/10.1007/3-540-44450-5_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
