Analyses for Distributed Architectures