59 search results - page 1 / 12 » Profinite Methods in Automata Theory |
STACS
2009
Springer
13 years 11 months ago
2009
Springer
CONCUR
1998
Springer
13 years 9 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
SIGCSE
1999
ACM
13 years 9 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...