Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Iterating Non-Aggregative Structure Compositions
Marius Bozga, Radu Iosif, Florian Zuleger
An aggregative composition is a binary operation obeying the principle that the whole is determined by the sum of its parts. The development of graph algebras, on which the theory…
cs.FL2025
Counting Abstraction for the Verification of Structured Parameterized Networks
Marius Bozga, Radu Iosif, Arnaud Sangnier +1
We consider the verification of parameterized networks of replicated processes whose architecture is described by hyperedge-replacement graph grammars. Due to the undecidability of…