Title: Models and Analysis for Distributed Systems
Subjects: System analysis, Electronic data processing, distributed processing