search

geraintpalmer / DetectingDeadlockInQingNetworkSimulation

0 stars 0 forks source link

Vince read through #11

Closed geraintpalmer closed 9 years ago

geraintpalmer commented 9 years ago

Could you read through this, make sure its clear etc. @drvinceknight I will be adding more on the lit review at some point when I find more papers

drvinceknight commented 9 years ago

On my phone, can you assign to me (you might already have).

geraintpalmer commented 9 years ago

I can't as you're not a collaborator sorry

drvinceknight commented 9 years ago

Ah right. Cool, have added to my other to-do list. Will take care of asap.

On Mon, 20 Apr 2015 20:01 Geraint Palmer notifications@github.com wrote:

I can't as you're not a collaborator sorry

— Reply to this email directly or view it on GitHub https://github.com/geraintpalmer/DetectingDeadlockInQingNetworkSimulation/issues/11#issuecomment-94541441 .

geraintpalmer commented 9 years ago

From your comments: you added 'absorbing' to the theorem, which isn't correct, so sticking to:

A deadlocked state arises at time $t$ if and only if there exists a weakly connected component of $D(t)$ that doesn't contain a sink vertex.

However, I think the following is true for absorbing deadlocks:

An absorbing deadlocked state arises at time $t$ if and only if $D(t)$ doesn't contain a sink vertex.