Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl +1
We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of ARSs, where the reduction steps induce weights from a se…
cs.LO2021
Reasoning about Reconfigurations of Distributed Systems
Emma Ahrens, Marius Bozga, Radu Iosif +1
This paper presents a Hoare-style calculus for formal reasoning about reconfiguration programs of distributed systems. Such programs create and delete components and/or interaction…