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 <>
Submitted on : Monday, April 6, 2020 - 2:56:24 PM
Last modification on : Tuesday, April 7, 2020 - 1:19:25 AM

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

24