Tag
A 12-week introductory course on quantum oracle engineering covering practical quantum circuit construction, Monte Carlo speedups, reversible computing, and Qiskit implementation.
This paper studies weak bisimilarities in CCSK, a reversible extension of CCS, proposing two new notions of weak reversible bisimilarity and showing that one is a congruence.