Title: Concurrency, Graphs and Models
Subjects: Software engineering, Computer simulation, Computer programming, Computer software, verification, Machine theory, Graph theory