Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Sculptures in Concurrency

Uli Fahrenberg ; Christian Johansen ; Christopher A. Trotter ; Krzysztof Ziemiański.
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 (hypercube). A first important result of this paper is that not all HDA can be&nbsp;[&hellip;]
Published on April 14, 2021

  • < Previous
  • 1
  • Next >