Symmetric Synthesis

@inproceedings{Ehlers2017SymmetricS,
  title={Symmetric Synthesis},
  author={R. Ehlers and Bernd Finkbeiner},
  booktitle={FSTTCS},
  year={2017}
}
  • R. Ehlers, Bernd Finkbeiner
  • Published in FSTTCS 2017
  • Computer Science
  • We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems, because systems that are composed from identical components are easier to build and maintain. We show that for the class of rotationsymmetric architectures, i.e., multi-process architectures where all processes have access to all system inputs, but see different… CONTINUE READING

    Figures and Topics from this paper.

    Synthesis from hyperproperties
    2

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES
    Parameterized Synthesis
    35
    Uniform distributed synthesis
    143
    Distributed reactive systems are hard to synthesize
    385
    µ-Calculus Synthesis
    50
    On the Synthesis of an Asynchronous Reactive Module
    206
    Synthesizing Distributed Systems
    91