A Linear-History Semantics for Languages for Distributed Programming.
Nissim FrancezDaniel LehmannAmir PnueliPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- programming language
- distributed systems
- distributed environment
- expressive power
- multi agent
- cross lingual
- language independent
- database languages
- programming environment
- logic programming
- conceptual model
- distributed data
- formal semantics
- operational semantics
- formal languages
- highly expressive
- databases
- text summarization
- peer to peer
- constraint language
- general purpose
- programming paradigms