Abstract State Machines: A unifying view of models of computation and of system design frameworks (2005)

Cached

Download Links

by Egon Börger
Venue:Annals of Pure and Applied Logic
Citations:9 - 5 self