Suptyping and Locality in Distributed Higher Order Processes (extended abstract).
Nobuko YoshidaMatthew HennessyPublished in: CONCUR (1999)
Keyphrases
- extended abstract
- higher order
- pairwise
- natural images
- distributed environment
- high order
- distributed systems
- lambda calculus
- information retrieval
- markov random field
- cooperative
- lightweight
- multi agent
- distributed learning
- low order
- scalable distributed
- distributed network
- network latency
- conditional random fields
- distributed architecture
- distributed computing
- distributed database systems
- process model
- probabilistic model
- case study
- information systems