Kamp Theorem for Pomset Languages of Higher Dimensional Automata.

Emily Clement, Enzo Erlich, Jrmy Ledent

Browse the full CSL paper archive.