Category: Accepted Papers

Logical Methods in Computer Science, the most prestigious journal managed solely by the theoretical computer science community, has published our work on Sculptures in Concurrency, co-authored with Uli Fahrenberg, Christopher A. Trotter, and Krzysztof Ziemiański. Abstract: We give a formalization of Pratt’s intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture…