Improving Angel's Parallel Operator: Gumtree's Approach
Andrew Martin‚ Ray Nickson and Mark Utting
Address
The University of Queensland‚ QLD 4072‚ Australia
Institution
Software Verification Research Centre
Number
97−15
Year
1997
Andrew Martin‚ Ray Nickson and Mark Utting