2467 search results - page 74 / 494 » Finite State Machines |
CAV
1998
Springer
15 years 4 months ago
1998
Springer
104
click to vote
ICALP
1998
Springer
15 years 4 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...
65
Voted
ICC
1997
IEEE
15 years 4 months ago
1997
IEEE
90
Voted
RTSS
1994
IEEE
15 years 4 months ago
1994
IEEE
105
click to vote
FSTTCS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...