SECTION:  Computer Scienc.../ Theoretical programming/ Models and methods for concurrent and distributed.../