Mario Román

❯

❯

Closure of simulation relation

Closure of simulation relation

Feb 02, 20261 min read

closure-of-simulation-relation

Tags: bisimulation, Automata

Graph View

Backlinks

bisimulation

Mario Román (2026), CC-BY-SA. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID