scientific article; zbMATH DE number 7559475

DOI10.4230/LIPICS.CONCUR.2020.19MaRDI QIDQ5089284zbMATH OpenFDO

Authors Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/2007.07940

zbMATH Keywords

asynchronous automatacascade productKrohn-Rhodes decomposition theoremlocal temporal logic over tracesMazurkiewicz traceswreath product

Mathematics Subject Classification ID

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

Cites work

• A Note on Star-Free Events
• A quadratic construction for Zielonka automata with acyclic communication structure
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• An extension of the wreath product principle for finite Mazurkiewicz traces
• Automata on distributed alphabets
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Keeping track of the latest gossip in a distributed system
• Notes on finite asynchronous automata
• On finite monoids having only trivial subgroups
• On the expressive power of temporal logic
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• The Krohn-Rhodes theorem and local divisors
• Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups

Cited in

(3)

• Asynchronous wreath product and cascade decompositions for concurrent behaviours
• An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
• Characterizations of fragments of temporal logic over Mazurkiewicz traces

This page was built for publication:

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