Concurrency, Graphs And Models by