Title: Construction and Analysis of Distributed Processes