1980 | ||
---|---|---|
2 | S. Keramidis, L. Mackert: Ein Kalkül zur Konstruktion deadlockfreier Systeme. ARCS 1980: 217-233 | |
1979 | ||
1 | S. Keramidis, L. Mackert: Specification and Implementation of Parallel Activities on Abstract Objects. ICSE 1979: 203-211 |
1 | S. Keramidis | [1] [2] |