Brian Go

According to our database, Brian Go authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Verification of distributed systems with local-global predicates.

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White

Formal Aspects Comput., 2011