MSc - Deducing Operation Commutativity from Replicated Data Declaration

Authors

Post-Graduation Supervisor: Hervé Paulino
Post-Graduation Jury: Francisco Azevedo
Post-Graduation by: Ankica Barisic
Post-Graduation Jury: Francisco Martins