Kamp Theorem for Pomset Languages of Higher Dimensional Automata

Emily Clement, Enzo Erlich, Jérémy Ledent

Temporal logics are a powerful tool to specify properties of computational systems. For concurrent programs, Higher Dimensional Automata (HDA) are a very expressive model of non-in…