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