Non-black-box simulation in the fully concurrent setting (2013)

by Vipul Goyal
Venue:45th Annual ACM Symposium on Theory of Computing