Michael Marmar

According to our database, Michael Marmar authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Quantitative Reasoning for Proving Lock-Freedom.

Jan Hoffmann, Michael Marmar, Zhong Shao

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013