2012 ACM Subject Classification Theory of computation → Automata over infinite Higher-dimensional automata concurrency theory omega pomsets Büchi acceptance Muller acceptance interval pomsets pomsets with interfaces Digital Object Identifier 104230/LIPIcsFSCD202528