2005 | ||
---|---|---|
3 | EE | Balázs Ugron, Szabolcs Hajdara, László Kozma: Synthesis of the synchronization of general pipeline systems. Acta Cybern. 17(1): (2005) |
1982 | ||
2 | László Kozma, Z. Laborczi: On Implementation problems of shared abstract data types. Conference on Operating Systems 1982: 146-152 | |
1 | László Kozma: Proving the correctness of implementations of shared data abstractions. Symposium on Programming 1982: 227-241 |
1 | Szabolcs Hajdara | [3] |
2 | Z. Laborczi | [2] |
3 | Balázs Ugron | [3] |