Communication Dans Un Congrès Année : 2020

Dates et versions

hal-03105144 , version 1 (10-01-2021)

Identifiants

Citer

Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic. An equational theory for weak bisimulation via generalized parameterized coinduction. CPP '20: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans LA USA, France. pp.71-84, ⟨10.1145/3372885.3373813⟩. ⟨hal-03105144⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

  • More