11 citations · 36 across the 25 of their papers we have counts for
3 papers · 1 filter
Nominal Topology for Data Languages
Fabian Birkmann, Stefan Milius, Henning Urbat
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite nominal topological space…
Positive Data Languages
Florian Frank, Stefan Milius, Henning Urbat
Positive data languages are languages over an infinite alphabet closed under possibly non-injective renamings of data values. Informally, they model properties of data words expres…
Weak Similarity in Higher-Order Mathematical Operational Semantics
Henning Urbat, Stelios Tsampas, Sergey Goncharov +2
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness p…