Abstrakt. I tidigare arbete, Fournet et al. föreslog en utvidgning av den sammanfogade analysen med klassbaserat arv, i syfte att ge en exakt semantik för samtidiga objekt. Men som vi visar här lider deras system av flera begränsningar, vilket gör det otillräckligt att utgöra grunden för ett praktiskt genomförande. I denna uppsats omformar vi de statiska semantikerna för arv i kalkylen och utrustar klasstyper med mer exakt information. Jämfört med tidigare arbeten är det nya typsystemet kraftfullare, mer uttrycksfullt och enklare. Dessutom undertrycks en kontroll av det gamla systemet i den nya designen. Vi bevisar också det nya systemets sundhet och har genomfört typslutsatser.
Vårt tidigare arbete REF förbättrar sin modell genom att föreslå ett mer uttrycksfullt typsystem.