Skip to content

Static deadlock detection for concurrent go by global session graph synthesis.

Nicholas Ng, Nobuko Yoshida

VenueBCC
Year2016
ProceedingsCC

Browse the full CC paper archive.