4 citations · 7 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
Antonis Achilleos, Mathias Ruggaard Pedersen
Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized w…
cs.LO2021
On the Axiomatisability of Parallel Composition
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +2
This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear…