Login / Signup
Modules, abstract types, and distributed versioning.
Peter Sewell
Published in:
POPL (2001)
Keyphrases
</>
cooperative
higher level
distributed systems
modular robots
real time
distributed network
distributed environment
multi agent
high level
knowledge structures
temporal databases
distributed data
query processing
building blocks
information retrieval
distributed computing
communication overhead
data mining
data sets