Forgetting Event Order in Higher-Dimensional Automata
Dit paper lost de fundamentele mismatch in hogere-dimensionale automaten op door een orde-onafhankelijke semantiek te ontwikkelen die gebaseerd is op interval-ipomsets, waardoor een verenigde en zuivere grondslag voor concurrentiemodellen wordt geboden die vrij is van kunstmatige totale ordening.