Relating Paths in Transition Systems

DOI10.1145/3231596zbMath1407.68287OpenAlexW2891752042WikidataQ129249620 ScholiaQ129249620MaRDI QIDQ4691742

Bastien Maubert, Sophie Pinchinat, Catalin Dima

Publication date: 24 October 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3231596

zbMATH Keywords

monadic second-order logicexpressivenesstransition systemsimperfect informationmu-calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Observation and distinction: representing information in infinite games

This page was built for publication: Relating Paths in Transition Systems