scientific article; zbMATH DE number 7559475

DOI10.4230/LIPIcs.CONCUR.2020.19MaRDI QIDQ5089284

Saptarshi Sarkar, Bharat Adsul, Paul Gastin, Pascal Weil

Publication date: 18 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asynchronous automatacascade productwreath productMazurkiewicz tracesKrohn-Rhodes decomposition theoremlocal temporal logic over traces

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An extension of the wreath product principle for finite Mazurkiewicz traces
• A quadratic construction for Zielonka automata with acyclic communication structure
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
• On the expressive power of temporal logic
• The Krohn-Rhodes Theorem and Local Divisors
• Notes on finite asynchronous automata
• Automata on Distributed Alphabets
• Keeping track of the latest gossip in a distributed system
• On finite monoids having only trivial subgroups
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• A Note on Star-Free Events

This page was built for publication: