Semantic essence of AsmL

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

Possibly Related Publications

The following publications are possibly variants of this publication: