Skip to Main content Skip to Navigation
Conference papers

Bisimulations and unfolding in P-accessible categorical models

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03189698
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 4, 2021 - 7:43:19 PM
Last modification on : Tuesday, April 6, 2021 - 3:25:11 AM

Identifiers

  • HAL Id : hal-03189698, version 1

Citation

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⟩

Share

Metrics

Record views

17