Communication Dans Un Congrès
Année : 2016
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189698
Soumis le : dimanche 4 avril 2021-19:43:19
Dernière modification le : lundi 19 février 2024-12:19:20
Dates et versions
Identifiants
- HAL Id : hal-03189698 , version 1
Citer
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq. Bisimulations and unfolding in P-accessible categorical models. Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), volume 59 of Leibniz International Proceedings in Informatics, pages 25:1--25:14. Leibniz-Zentrum für Informatik., Aug 2016, Québec City, Canada. ⟨hal-03189698⟩
Collections
24
Consultations
0
Téléchargements