Logic and lattices for distributed programming.
Neil ConwayWilliam R. MarczakPeter AlvaroJoseph M. HellersteinDavid MaierPublished in: SoCC (2012)
Keyphrases
- distributed systems
- programming language
- peer to peer
- multi valued
- automated reasoning
- lightweight
- mobile agents
- distributed environment
- communication cost
- declarative programming
- neural network
- boolean algebra
- computer programming
- object oriented programming
- distributed data
- fault tolerant
- privacy preserving
- logic programming
- rough sets
- multi agent
- case study
- data mining