Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
0
1
Mixed bisimilarity offers a novel congruence that simplifies the analysis of reversible computation by abstracting away from $\tau$ actions.