59 citations · 185 across the 53 of their papers we have counts for
1 paper · 2 filters
Lutz Schröder, Dexter Kozen, Stefan Milius +1
Automata models for data languages (i.e. languages over infinite alphabets) often feature either global or local freshness operators. We show that Bollig et al.'s session automata,…