The following pages link to (Q4288286):
Displaying 16 items.
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Mixed product and asynchronous automata (Q1099643) (← links)
- Analyse und Synthese von asynchronen ND-Automaten (Q1241430) (← links)
- On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages (Q1322488) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006) (← links)
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables. (Q1854303) (← links)
- The star problem and the finite power property in trace monoids: Reductions beyond C4 (Q1854540) (← links)
- Time-stamps for Mazurkiewicz traces. (Q2490824) (← links)
- (Q2963915) (← links)
- Distributed Asynchronous Automata (Q3184669) (← links)
- (Q3346238) (← links)
- (Q4079517) (← links)
- On recognizable and rational formal power series in partially commuting variables (Q4571997) (← links)
- (Q4721652) (← links)
- Modeling and Programming Asynchronous Automata Networks: The MOCA Approach (Q4931229) (← links)
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610) (← links)