936 search results - page 34 / 188 » FSM-Hume is finite state |
CAV
1998
Springer
14 years 1 months ago
1998
Springer
ICALP
1998
Springer
14 years 1 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
ICC
1997
IEEE
14 years 1 months ago
1997
IEEE
ICNP
1996
IEEE
14 years 29 days ago
1996
IEEE
WIA
1997
Springer
14 years 28 days ago
1997
Springer
Abstract. We explore the information processing capabilities and efciency of DNA computations by giving two di erent types of implementations of nite-state machines. A ligation-bas...