Jan 22, 2020 · This paper gives a novel presentation of an equational theory for reasoning about structures up to weak bisimulation. The theory is both ...

Jan 8, 2020 · This paper gives a novel presentation of an equational theory for reasoning about structures up to weak bisimulation.

Finally, it still remains to package coinductive reasoning principles into. “proof patterns” for weak bisimulation that are expressive and easy to work with in ...

Jan 20, 2020 · Finally, it still remains to package coinductive reasoning principles into. “proof patterns” for weak bisimulation that are expressive and easy ...

An equational theory for weak bisimulation via generalized parameterized coinduction · Yannick Zakowski, Paul He, +1 author. Steve Zdancewic · Published in ...

Jan 8, 2020 · This paper gives a novel presentation of an equational theory for reasoning about structures up to weak bisimulation. The theory is both ...

We propose a coalgebraic deflnition of weak bisimulation for classes of coalgebras obtained from bifunctors in the category Set. Weak bisimilarity for a system ...

Yannick Zakowski, Paul He, Chung-Kil Hur and Steve Zdancewic. An equational theory for weak bisimulation via generalized parameterized coinduction. CPP 2020.

An equational theory for weak bisimulation via generalized parameterized coinduction. Y Zakowski, P He, CK Hur, S Zdancewic. Proceedings of the 9th ACM SIGPLAN ...

Aug 28, 2024 · An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction Yannick Zakowski, Paul He, Chung-Kil Hur, Steve ...