Title: A mathematical model of concurrent computation