A mathematical model of asynchronous data flow in parallel computers. (25th September 2020)