Topological Abstraction of Higher-Dimensional Automata.

Kahl, T. (2016). Topological Abstraction of Higher-Dimensional Automata. Theoretical Computer Science, 97-117.

Type

Journal article

Intellectual base

Primary research

Year

2016

DOI

10.1016/j.tcs.2016.04.018

Link

https://doi.org/10.1016/j.tcs.2016.04.018

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Cubical Set
  • Higher-dimensional automata formalize this idea with labeled precubical sets; the missing degeneracy distinction must remain explicit.

    This sourceDefines HDAs through labeled precubical sets and uses higher cubes to model independent actions.

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:1f8b7acd1c2c · see in the full table