Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tidsskrift "Logical Methods in Computer Science"
Viser treff 1-1 av 1
-
Sculptures in concurrency
(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 ...