Study of Stepwise Simulation Between ASM

Patrick Cégielski, Julien Cervelle. Study of Stepwise Simulation Between ASM. In Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Volume 11558 of Lecture Notes in Computer Science, pages 156-167, Springer, 2019. [doi]

Abstract

Abstract is missing.