Trace Semantics Is Fully Abstract (2009)

by Sumit Nain , Moshe Y. Vardi
Citations:1 - 0 self