scientific article; zbMATH DE number 7566078
From MaRDI portal
Publication:5094152
Bharat Adsul, Saptarshi Sarkar, Paul Gastin, Pascal Weil
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2105.10897
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
asynchronous automatacascade productwreath productMazurkiewicz traceslocal temporal logic over tracesKrohn Rhodes decomposition theorem
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
- Logical definability on infinite traces
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces
- Combinatorics on traces
- Star-free trace languages
- LTL is expressively complete for Mazurkiewicz traces
- 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
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
This page was built for publication:
