756 search results - page 1 / 152 » Can Abstract State Machines Be Useful in Language Theory |
DLT
2006
13 years 8 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...
FDL
2004
IEEE
13 years 10 months ago
2004
IEEE
APAQS
2001
IEEE
13 years 10 months ago
2001
IEEE
KR
1998
Springer
13 years 11 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,...
OMER
2001
13 years 8 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 ...