On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
Alessandro MargaraGuido SalvaneschiPublished in: IEEE Trans. Software Eng. (2018)
Keyphrases
- communication cost
- distributed environment
- distributed systems
- programming language
- multi agent
- programming environment
- high cost
- computer networks
- formal semantics
- lightweight
- logic programming
- semantic information
- cost sensitive
- agent architecture
- distributed data
- reactive systems
- database systems
- database management systems
- answer set programming
- peer to peer
- cooperative
- operational semantics