Sequential abstract-state machines capture sequential algorithms

By Y. Gurevich. ACM Transactions on Computational Logic, 2000

516 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/546948bcdce7069249babb8506e8fa3a042fc943