Synthesis in presence of dynamic links

DOI10.1016/J.IC.2021.104856OpenAlexW4205765403MaRDI QIDQ2105465FDOQ2105465

Patricia Bouyer, Benedikt Bollig, Matthias Függer, Béatrice Bérard, Nathalie Sznajder

Publication date: 8 December 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104856

zbMATH Keywords

game theorydistributed computingsynthesislinear-time temporal logicdynamic links

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• The temporal semantics of concurrent programs
• Distributed computation in dynamic networks
• Reasoning about infinite computations
• The Byzantine Generals Problem
• Church's Problem Revisited
• On the synthesis of strategies in infinite games
• Title not available (Why is that?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• The Heard-Of model: computing in distributed systems with benign faults
• Title not available (Why is that?)
• Asynchronous Games over Tree Architectures
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Distributed synthesis for well-connected architectures
• CONCUR 2005 – Concurrency Theory
• Title not available (Why is that?)
• Automata on infinite trees
• Bounds on the size and transmission rate of communications protocols
• Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
• Synthesis of fault-tolerant distributed systems
• Hierarchical information and the synthesis of distributed strategies
• Church Synthesis Problem for Noisy Input
• A characterization of oblivious message adversaries for which consensus is solvable
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Synthesis with Identifiers
• MIXED LINKS: A METHOD FOR GENERATING MULTI-STRANDED STRUCTURES IN SYNTAX
• Title not available (Why is that?)

This page was built for publication: Synthesis in presence of dynamic links

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105465)