34 citations · 78 across the 22 of their papers we have counts for
4 papers · 1 filter
Reachability Analysis of Communicating Pushdown Systems
Alexander Heussner, Jérôme Leroux, Anca Muscholl +1
The reachability analysis of recursive programs that communicate asynchronously over reliable FIFO channels calls for restrictions to ensure decidability. Our first result characte…
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…
On Injective Embeddings of Tree Patterns
Jakub Michaliszyn, Anca Muscholl, Sławek Staworko +2
We study three different kinds of embeddings of tree patterns: weakly-injective, ancestor-preserving, and lca-preserving. While each of them is often referred to as injective embed…
Asynchronous Games over Tree Architectures
Blaise Genest, Hugo Gimbert, Anca Muscholl +1
We consider the task of controlling in a distributed way a Zielonka asynchronous automaton. Every process of a controller has access to its causal past to determine the next set of…