Skip to Main content Skip to Navigation
Journal articles

Relating paths in transition systems: the fall of the modal mu-calculus

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-02533545
Contributor : Sophie Pinchinat Connect in order to contact the contributor
Submitted on : Monday, April 6, 2020 - 2:56:24 PM
Last modification on : Wednesday, March 23, 2022 - 12:38:02 PM

Identifiers

  • HAL Id : hal-02533545, version 1

Collections

Citation

Catalin Dima, Bastien Maubert. Relating paths in transition systems: the fall of the modal mu-calculus. ACM Transactions on Computational Logic, Association for Computing Machinery, 2018. ⟨hal-02533545⟩

Share

Metrics

Record views

12