Processes and a Fair Semantics for the Ada Rendez-Vous.

J. W. de Bakker, Jeffery I. Zucker

Browse the full ICALP paper archive.