14 citations · 35 across the 10 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024★ 5 cited
Verifying Unboundedness via Amalgamation
Ashwani Anand, Sylvain Schmitz, Lia Schütze +1
Well-structured transition systems (WSTS) are an abstract family of systems that encompasses a vast landscape of infinite-state systems. By requiring a well-quasi-ordering (wqo) on…
cs.FL2023
Priority Downward Closures
Ashwani Anand, Georg Zetzsche
When a system sends messages through a lossy channel, then the language encoding all sequences of messages can be abstracted by its downward closure, i.e. the set of all (not neces…