A Concurrent Object Calculus with Types that Express Sequences. - Christof Peter; Franz Puntigam (ECOOP Workshops, 1999)

Changeable Interfaces and Promised Messages for Concurrent Components. - Franz Puntigam; Christof Peter (SAC, 1999)

Types for Active Objects with Static Deadlock Prevention. - Franz Puntigam; Christof Peter (Fundam. Informaticae, 2001)