Hidden algebra and concurrent distributed software

Goguen, J. (2000). Hidden algebra and concurrent distributed software. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

2000

DOI

10.1145/340855.340889

Link

https://doi.org/10.1145/340855.340889

Cited by

1 citation across 1 artifact.

Domain-specific

• Hidden algebra
  • … directly demonstrates that hidden and visible sorts, operations, observation contexts, behavioral satisfaction, and the equivalence proof rule are declared and preserve observable behavior. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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:5eb1f3ba55e8 · see in the full table