CORR
2008
Springer
13 years 4 months ago
2008
Springer
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...