Semantic essence of AsmL. Theoretical Computer Science, 343(3):370–412, 2005. Available at http://research.microsoft.com/~gurevich/opera/169. pdf (viewed June 7, 2009). [17] Yuri Gurevich and Tatiana Yavorskaya. On bounded exploration and bounded nondeter (0)

by Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Venue:of Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series