Logic, Computation and Rigorous Methods

Bowen, J. P. (2021). Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Springer.

Type

Book chapter

Intellectual base

Review or monograph

Year

2021

DOI

10.1007/978-3-030-76020-5_6

Link

https://doi.org/10.1007/978-3-030-76020-5_6

Cited by

1 citation across 1 artifact.

Domain-specific

• Abstract state machine
  • Sequential, distributed and turbo ASMs have different step semantics; locations, universes, functions and consistency of simultaneous updates must be fixed.

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:14e17f4daebc · see in the full table