Pages that link to "Item:Q671351"
From MaRDI portal
The following pages link to Free shuffle algebras in language varieties (Q671351):
Displaying 20 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- On the homomorphism order of labeled posets (Q634750) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- Axiomatizing shuffle and concatenation in languages (Q1383153) (← links)
- Regular binoid expressions and regular binoid languages. (Q1401404) (← links)
- Series-parallel languages and the bounded-width property (Q1566734) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Rationality in algebras with a series operation (Q1854484) (← links)
- Decidability of split equivalence (Q1854504) (← links)
- Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids (Q1884948) (← links)
- Infinite unfair shuffles and associativity (Q2373763) (← links)
- Labeled posets are universal (Q2472843) (← links)
- Synchronized shuffles (Q2566012) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
