Slide 1 Focusing in Proof-search and Concurrent Synchronization Deepak Garg Carnegie Mellon University (Based on joint work with Frank Pfenning) Slide 2 Focusing in Proof-search…