Design of Multithreaded Software: The Entity-Life Modeling Approach
March 2011, Wiley-IEEE Computer Society Press
Part I covers two fundamentals: program-language thread support and state diagramming. These are necessary for understanding ELM and are provided primarily for reference. Part II covers ELM from different angles. Part III positions ELM relative to other design approaches.