Sequential abstract state machines capture sequential algorithms

Cached

Download Links

by Yuri Gurevich
Venue:ACM Trans. Computational logic
Citations:114 - 24 self