A parametric reconfigurable bisimulation compresses centralized transition systems into asynchronous agents with minimal communication, preserving strong bisimilarity.
Distributed bisimulations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
A parametric reconfigurable bisimulation compresses centralized transition systems into asynchronous agents with minimal communication, preserving strong bisimilarity.