Title: Logic of Distributed Systems