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