scientific article; zbMATH DE number 554484
From MaRDI portal
Publication:4288286
Recommendations
- Compositional synthesis of asynchronous automata
- Automated synthesis of asynchronizations
- Unfolding Synthesis of Asynchronous Automata
- scientific article; zbMATH DE number 3249789
- Determinizing asynchronous automata
- On commutative asynchronous nondeterministic automata
- Synthesis of distributed algorithms using asynchronous automata.
- Synchronizing non-deterministic finite automata
- Synthesis of Asynchronous Systems
- scientific article; zbMATH DE number 3911715
Cited in
(17)- scientific article; zbMATH DE number 3880599 (Why is no real title available?)
- Compositional synthesis of asynchronous automata
- On recognizable and rational formal power series in partially commuting variables
- scientific article; zbMATH DE number 3995056 (Why is no real title available?)
- Mixed product and asynchronous automata
- Distributed Asynchronous Automata
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
- The star problem and the finite power property in trace monoids: Reductions beyond C4
- scientific article; zbMATH DE number 3497800 (Why is no real title available?)
- Time-stamps for Mazurkiewicz traces.
- Modeling and Programming Asynchronous Automata Networks: The MOCA Approach
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
- Synthesis of a nondeterministic automaton from its logical specification. II
- Analyse und Synthese von asynchronen ND-Automaten
- scientific article; zbMATH DE number 4056993 (Why is no real title available?)
- scientific article; zbMATH DE number 4051029 (Why is no real title available?)
- scientific article; zbMATH DE number 6687767 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4288286)
