Inheritance in the Join Calculus [chapter]

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
2000 Lecture Notes in Computer Science  
We design an extension of the join calculus with class-based inheritance. Method calls, locks, and states are handled in a uniform manner, using asynchronous messages. Classes are partial message definitions that can be combined and transformed by means of operators for behavioral and synchronization inheritance. We also give a polymorphic type system that statically enforces basic safety properties. Our language and its type system are compatible with the JoCaml implementation of the join calculus.
doi:10.1007/3-540-44450-5_32 fatcat:xgntzqc5ejdfbovrvumiqkrzpe