Now showing items 1-1 of 1

  • Prisacariu, Cristian (Chapter / Bokkapittel / SubmittedVersion, 2012)
    This paper contributes to the general understanding of the geometrical model of concurrency that was named higher dimensional automata (HDAs) by Pratt and van Glabbeek. In particular we provide some understanding of the ...