scientific article; zbMATH DE number 7802075

zbMath1530.68191arXiv2209.10306MaRDI QIDQ6191011

Hadar Frenkel, Sarai Sheinvald

Publication date: 8 February 2024

Full work available at URL: https://arxiv.org/abs/2209.10306

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• A temporal logic for asynchronous hyperproperties
• Defining liveness
• Reversal-bounded multipushdown machines
• Reasoning about infinite computations
• Finite-word hyperlanguages
• Compositional model checking for multi-properties
• Distributed synthesis for regular and contextfree specifications
• On certain formal properties of grammars
• The First-Order Logic of Hyperproperties
• Model-Checking HyperLTL for Pushdown Systems
• Automatic presentations of structures