S-Space

Browse

Subject

Showing results 1 to 1 of 1

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2020-01	An equational theory for weak bisimulation via generalized parameterized coinduction Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Zdancewic, Steve CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84	DOI