scientific article; zbMATH DE number 7204552

DOI10.4230/LIPIcs.ICALP.2017.100zbMath1442.68096arXiv1611.08554MaRDI QIDQ5111432

Fabian Reiter

Publication date: 27 May 2020

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

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

zbMATH Keywords

modal logic\(\mu\)-calculusfinite automatadistributed computing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Counter machines and distributed automata -- a story about exchanging space and time ⋮ Constant space and non-constant time in distributed computing ⋮ Communicating Finite-State Machines and Two-Variable Logic ⋮ Emptiness problems for distributed automata ⋮ Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bounded game-theoretic semantics for modal mu-calculus ⋮ Introduction to local certification

This page was built for publication: