Distributed algorithms; correctness and complexity.- Distributed operating systems, middleware, database systems.- Self-stabilizing, self-organizing, and autonomous systems.- Specification, verification, and testing: tools, methodologies.- Distributed computing issues in the Internet and the Web.- Mobile agents and autonomous robots.
