George Johnstone Milne

• A mathematical model of concurrent computation