Sequential abstract state machines capture sequential algorithms

Cached

Download Links

by Yuri Gurevich
Venue:ACM Trans. Computational logic
Citations:115 - 25 self