@inproceedings{1040068,
    title = "Synthesis of deadlock-free parallel programs",
    author = "Justo, Ribeiro G. R.",
    year = "1991",
    pages = "46-59",
    publisher = "Εκδόσεις Νέων Τεχνολογιών",
    booktitle = "3ο Πανελλήνιο Συνέδριο Πληροφορικής. Η πληροφορική στη δεκαετία του '90. Τεχνολογία - αναπτυξιακή πολιτική (Τόμος 2)"
}