▲ 9 ▼ Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis doc.ic.ac.uk posted by kenny 3017 days ago Register to comment or vote on this story