Title: Mathematical techniques for analyzing concurrent and probabilistic systems
Subjects: System analysis