Books about Theories and tools for the design of delry-insensitive communicating processes