The hidden computation steps of turbo Abstract State Machines (2003)

by N G Fruja, R F Stärk
Venue:Abstract State Machines 2003, LNCS