Abstraction preservation and subtyping in distributed languages.

Pierre-Malo Deniélou James J. Leifer

Published in: ICFP (2006)

Keyphrases

distributed systems
high level
cooperative
expressive power
distributed environment
distributed network
database systems
multi agent
web services
search algorithm
data model
digital objects
concurrent processes