Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theoretical Computer Science, 343(3):370-412, 2005. [doi]

Authors

Yuri Gurevich

Identified as Yuri Gurevich
(Microsoft Research
)

Benjamin Rossman

This author has not been identified. Look up 'Benjamin Rossman' in Google

Wolfram Schulte

Identified as Wolfram Schulte