Sequential Abstract State Machines Capture Sequential Algorithms.¶

Gurevich, Y. (2000). Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic, 77-111.

Type: Journal article
Intellectual base: Primary research
Year: 2000
DOI: 10.1145/343369.343384
Link: https://doi.org/10.1145/343369.343384

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Abstract Machine
- Gurevich's abstract state machine program, for example, makes state and bounded local updates central to an axiomatization of sequential algorithms.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:68989633c1cb · see in the full table