8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
James Hoey, Irek Ulidowski, Shoji Yuen
We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of opera…