Formal Techniques for Networked and Distributed Systems - FORTE 2003by Hartmut König, Monika Heiner, Adam WoliszWriting a summary for young readers…For young readersBook data: Open Library