Expressive Synchronization Types for Inheritance in the Join Calculus.

Qin Ma, Luc Maranget

Browse the full APLAS paper archive.