Bisimulations and unfolding in P-accessible categorical models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016
Fichier non déposé

Dates et versions

hal-03189698 , version 1 (04-04-2021)

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⟩
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More