A. J. Gerber

Process synchronization by counter variables

A. J. Gerber, 1977, OPSR.

Massively Concurrent Computer: the configuration problem

A. J. Gerber, 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

The trouble with mutual recursion in Concurrent Euclid

A. J. Gerber, 1985, SIGP.