Breaking symmetries

MaRDI QIDQ4964004zbMATH OpenFDO

Authors Kirstin Peters, Uwe Nestmann

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1007.4172, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.10

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Breaking symmetries
• Separation Results Via Leader Election Problems
• Tutorial on separation results in process calculi via leader election problems
• Is it a ``good encoding of mixed choice?
• Symmetric electoral systems for ambient calculi

Cited in

(9)

• Breaking symmetries with lex implications
• Strange symmetries
• Symmetry breaking
• Unbroken B-L symmetry
• Is it a ``good encoding of mixed choice?
• Breaking symmetries
• Breaking Symmetry of Interchangeable Variables and Values
• General Symmetry Breaking Constraints
• Symmetry breaking by deformations

This page was built for publication: Breaking symmetries

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