Μεθοδολογίες και Τεχνικές Προτύπων Ανομοιότητας σε Παράλληλες και Κατανεμημένες λύσεις Προτασιακών Συστημάτων.