A Linear History Semantics for Distributed Languages (Extended Abstract)
Nissim FrancezDaniel LehmannAmir PnueliPublished in: FOCS (1980)
Keyphrases
- extended abstract
- cooperative
- highly expressive
- formal semantics
- distributed environment
- expressive power
- distributed systems
- databases
- neural network
- peer to peer
- logic programming
- lightweight
- constraint language
- relational databases
- linear systems
- database
- formal language
- database query languages
- cross lingual
- data integration
- sensor networks
- data model