Methods for Distributed and Concurrent Systems