756 search results - page 1 / 152 » Can Abstract State Machines Be Useful in Language Theory |
148
click to vote
DLT
2006
15 years 7 months ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
156
Voted
APAQS
2001
IEEE
15 years 9 months ago
2001
IEEE
153
Voted
KR
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
190
click to vote
OMER
2001
15 years 7 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...