Models and methods for concurrent and distributed computing Theory of computing mathematics