Ao longo dos capítulos, descrevem-se metodologias para conceber, descrever, e analisar protocolos de redes de computadores, ambientes de telecomunicações, automação industrial e outros tipos de sistemas distribuídos.