Semi-commutations
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3970130 (Why is no real title available?)
- Combinatorial problems of commutation and rearrangements
- Maximal serializability of iterated transactions
- Partial commutations and faithful rational transductions
- Recognizable subsets of some partially Abelian monoids
Cited in
(36)- Checking conformance for time-constrained scenario-based specifications
- Operational semantics with semicommutations
- Regular languages and partial commutations
- Modelling concurrency with semi-commutations
- Reordering Derivatives of Trace Closures of Regular Languages.
- scientific article; zbMATH DE number 3954296 (Why is no real title available?)
- An extension of Kleene's and Ochmański's theorems to infinite traces
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
- Semi-commutations and rational expressions
- Atomic semicommutations
- An extended framework for passive asynchronous testing
- A normalized form for FIFO protocols traces, application to the replay of mode-based protocols
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard.
- The star problem and the finite power property in trace monoids: Reductions beyond C4
- Semicommutations and algebraic languages
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Synchronization languages and rewriting systems
- On the synchronization of semi-traces
- Semi-commutativity and the McCoy condition.
- Semi-commutations and Petri nets
- 2-asynchronous automata
- Semi-commutations and Partial commutations
- Theory of traces
- A theory of regular MSC languages
- A canonical automaton for one-rule length-preserving string rewrite systems
- Two techniques in the area of the star problem in trace monoids
- Semi-trace morphisms and rational transductions
- Semiretractions and commutative bands
- Efficiency of automata in semi-commutation verification techniques
- On lexicographic semi-commutations
- Synchronization languages
- Synchronization expressions with extended join operation
- Topological characterisation of multi-buffer simulation
- On regular compatibility of semi-commutations
- Characterization of Star-Connected Languages Using Finite Automata
- scientific article; zbMATH DE number 176161 (Why is no real title available?)
This page was built for publication: Semi-commutations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1094144)
