12 citations · 64 across the 32 of their papers we have counts for
Showing 2012 · cs.FLShow all
2 papers · 2 filters
cs.FL2012★ 8 cited
On distributed monitoring of asynchronous systems
Volker Diekert, Anca Muscholl
Distributed systems are notoriously difficult to understand and analyze in order to assert their correction w.r.t. given properties. They often exhibit a huge number of different b…
cs.FL2012★ 2 cited
Regular Languages are Church-Rosser Congruential
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt +1
This paper proves a long standing conjecture in formal language theory. It shows that all regular languages are Church-Rosser congruential. The class of Church-Rosser congruential…