A mathematical model of concurrent computationGeorge Johnstone Milne · First published 1977Open the Tome