107 citations · 401 across the 20 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 48 cited
On the index of Simon's congruence for piecewise testability
Prateek Karandikar, Manfred Kufleitner, Philippe Schnoebelen
Simon's congruence, denoted \sim_n, relates words having the same subwords of length up to n. We show that, over a k-letter alphabet, the number of words modulo \sim_n is in 2^{Θ(n…
cs.LO2013★ 30 cited
The Power of Priority Channel Systems
Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
We introduce Priority Channel Systems, a new class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messag…