What Is in a Step: New Perspectives on a Classical Question

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler. What Is in a Step: New Perspectives on a Classical Question. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 370-399, Springer, 2010. [doi]

Abstract

Abstract is missing.