Searching for "Implementation and Application of Automata" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Conference on Implementations and Applications of Automata, Pretoria, South Africa (2001) 97-106 Kornai, A
- … is presented. 1 Motivation Finite-State Automata and particularly transducers are more and more used in natural…
- Cited by 2 (0 self) – Add To MetaCart
-
Parameterized Complexity
- … on Implementation and Application of Automata. Lecture Notes in Computer Science no. 2088. Springer-Verlag; Berlin…
- Cited by 513 (42 self) – Add To MetaCart
-
Synthesizing State-Based Object Systems from LSC Specifications
- … to appear in Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000), Lecture Notes…
- Cited by 61 (14 self) – Add To MetaCart
-
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
- … presented in the Eighth International Conference on Implementation and Application of Automata (CIAA 2003…
- Cited by 48 (14 self) – Add To MetaCart
-
Formal Specification and Verification of Asynchronously Communicating Web Services
- … Electronic Services.” Proceedings of the 8th International Conference on Implementation and Application…
- Cited by 4 (4 self) – Add To MetaCart
-
Submodule construction - the inverse of composition
- … and Application of Automata, Pretoria, South Africa, on July 23, 2001 (as an invited presentation). 1 X which…
- Cited by 1 (1 self) – Add To MetaCart
-
Backward and Forward Bisimulation Minimization of Tree Automata ⋆
- … Automata. Proc. 12th Int. Conf. Implementation and Application of Automata, LNCS 4783, p. 109–121, Springer…
- Add To MetaCart
-
Pure and o-substitution
- …. Implementation and Application of Automata. LNCS 4094: 150-161. Springer 2006. reliability of the composite by a…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 8.
