Communication Dans Un Congrès
Année : 2020
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03105144
Soumis le : dimanche 10 janvier 2021-20:07:41
Dernière modification le : mercredi 24 décembre 2025-11:40:03
Dates et versions
Identifiants
- HAL Id : hal-03105144 , version 1
- ARXIV : 2001.02659
- DOI : 10.1145/3372885.3373813
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