4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Logic and Languages of Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
In this paper we study finite higher-dimensional automata (HDAs) from the logical point of view. Languages of HDAs are sets of finite bounded-width interval pomsets with interfaces…
cs.FL2016★ 4 cited
On parametrized verification of asynchronous, shared-memory pushdown systems
Marie Fortin, Anca Muscholl, Igor Walukiewicz
We consider the model of parametrized asynchronous shared-memory pushdown systems, as introduced in [Hague'11]. In a series of recent papers it has been shown that reachability in…