Search

• < Previous
• 1
• Next >

---

On the Axiomatisability of Parallel Composition

Luca Aceto ; Valentina Castiglioni ; Anna Ingolfsdottir ; Bas Luttik ; Mathias R. Pedersen.

This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide&nbsp;[&hellip;]

---

Complexity results for modal logic with recursion via translations and tableaux

Luca Aceto ; Antonis Achilleos ; Elli Anastasiadi ; Adrian Francalanza ; Anna Ingólfsdóttir.

This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics via translations to and from the $\mu$-calculus and modal&nbsp;[&hellip;]

---