GitHub PushEvent at 2014-10-08 17:26:04
Repository: cpgv
Actor: jgbm
Payload: {"shas":[["1ac974cdbab26757770908e03b23adb339ba4edc","ddc37de0f053abecd7d82e89a73bd91dfa1ac92e@ed.ac.uk","Eh, just prove the copies of Sam's progress theorem.\n\nI think Ornela et al.'s notion of progress follows from the one we've\ndefined, but they introduce a fair bit of extra work to get there.  In\nessence, as I've understood it, it amounts to saying that in an open\nsystem, as long as you plug in suitably typed additional channels, you\nget to a state without blocked processes.  This would amount to the\ncontextual notion of deadlock freedom we started with.","J. Garrett Morris",true]],"size":1,"ref":"refs/heads/esop2015","head":"1ac974cdbab26757770908e03b23adb339ba4edc"}