Optimal Exploration of Sequentially Consistent Executions of Concurrent Programs under View Equivalence

Stamos, Andreas; Στάμος, Ανδρέας

Optimal Exploration of Sequentially Consistent Executions of Concurrent Programs under View Equivalence

Τίτλος: Optimal Exploration of Sequentially Consistent Executions of Concurrent Programs under View Equivalence;
Βέλτιστη Εξερεύνηση Ακολουθιακά Συνεπών Εκτελέσεων Παράλληλων Προγραμμάτων υπό Ισοδυναμία Όψεων

Stamos, Andreas; Στάμος, Ανδρέας

URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/64394
http://dx.doi.org/10.26240/heal.ntua.32088

Εμφάνιση πλήρους εγγραφής