Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages

From MaRDI portal

Revision as of 17:53, 13 February 2025 by Import250213030230 (talk | contribs) (Created automatically from import250213030230)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6587136

Jump to:navigation, search

DOI10.4230/LIPICS.CONCUR.2022.28MaRDI QIDQ6587136FDOQ6587136

Saptarshi Sarkar, Pascal Weil, Paul Gastin, Bharat Adsul

Publication date: 13 August 2024

zbMATH Keywords

propositional dynamic logic asynchronous automata Mazurkiewicz traces Krohn-Rhodes theorem cascade product regular trace languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587136)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6587136&oldid=40131356"