From global choreographies to verifiable efficient distributed implementations.
Mohamad JaberYliès FalconePaul C. AttieAl-Abbass KhalilRayan HallalAntoine El-HokayemPublished in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
- distributed systems
- distributed environment
- cooperative
- lightweight
- peer to peer
- databases
- efficient implementation
- fault tolerant
- computationally efficient
- query processing
- relational databases
- case study
- artificial intelligence
- real time
- distributed computing
- distributed data
- multidatabase systems
- secret sharing
- globally distributed