85 citations · 262 across the 21 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 85 cited
Algorithmic Verification of Asynchronous Programs
Pierre Ganty, Rupak Majumdar
Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming oper…
cs.FL2010★ 52 cited
Parikh's Theorem: A simple and direct automaton construction
Javier Esparza, Pierre Ganty, Stefan Kiefer +1
Parikh's theorem states that the Parikh image of a context-free language is semilinear or, equivalently, that every context-free language has the same Parikh image as some regular…