Models of asynchronous distributed computing systems. Fundamental con- cepts of concurrency and synchronization, communication, reliability, topo- logical and geometric constraints, time and space complexity, and distributed algorithms