PABC

The intermediate language recognized by the Parallel ABC machine, used in the implementation of Concurrent Clean.

"The PABC Simulator", E. G. Zecker, TR 89-19, University of Nijmegen, Netherlands, 1989.