@inproceedings{1043813, title = "Composition of specifications of message passing applications composed by the ensemble methodology", author = "Κοτρώνης, Γ. and Tsiatsoulis, Z.", year = "1997", pages = "299-312", publisher = "Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής", booktitle = "6ο Πανελλήνιο συνέδριο πληροφορικής.Προς την κοινωνία της πληροφορίας. Τάσεις και δραστηριότητες στις τεχνολογίες πληροφορίας και επικοινωνιών. Πρακτικά εισηγήσεων.(Τόμος 1)" }