Sabine Glesner. ASMs versus Natural Semantics: A Comparison with New Insights. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 293-308, Springer, 2003. [doi]
Abstract is missing.