Krivine nets: a semantic foundation for distributed execution.
Olle FredrikssonDan R. GhicaPublished in: ICFP (2014)
Keyphrases
- heterogeneous distributed
- distributed systems
- high level
- cooperative
- multi agent
- concurrent execution
- computational grids
- distributed computing
- fault tolerant
- semantic annotation
- concurrent processes
- parallel execution
- database
- distributed data mining
- semantic description
- semantic information
- lightweight
- peer to peer
- natural language
- information retrieval