A new book, Foundations of Parallel Programming, by David Skillicorn, is available from Cambridge University Press.
This book summarises the application of initiality, using the categorical data type approach, to general-purpose parallel computation. There is also an extensive survey of models of parallel computation. (Table of Contents.)
To order: