Browsing NTNU Open by Author "Trotter, Christopher A."
Now showing items 1-1 of 1
-
Sculptures in concurrency
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof (Peer reviewed; Journal article, 2021)We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell ...