Distributed System and Concurrency