Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship - Zwiers, J. (Springer, 1989)
Τομέας εφαρμογων και θεμελιώσεων της επιστήμης των υπολογιστών. Εργαστήριο συνδυαστικων αλγοριθμων