2001 | ||
---|---|---|
3 | Franz Puntigam, Christof Peter: Types for Active Objects with Static Deadlock Prevention. Fundam. Inform. 48(4): 315-341 (2001) | |
1999 | ||
2 | Christof Peter, Franz Puntigam: A Concurrent Object Calculus with Types that Express Sequences. ECOOP Workshops 1999: 321 | |
1 | EE | Franz Puntigam, Christof Peter: Changeable Interfaces and Promised Messages for Concurrent Components. SAC 1999: 141-145 |
1 | Franz Puntigam | [1] [2] [3] |