Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global p…
cs.LO2017
Conservative Extensions in Guarded and Two-Variable Fragments
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +2
We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragmen…