177
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
179
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
138
Voted
CSR
2006
Springer
15 years 11 months ago
2006
Springer