An equational theory for weak bisimulation via generalized parameterized coinduction
Saved in:
| Published in | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3372885.3373813 |
Cover
| DOI: | 10.1145/3372885.3373813 |
|---|