Communication Protocols - 9783030504045

Communication ProtocolsPrinciples, Methods and Specifications\nAuthor(s): Drago Hercog\nFormat: Hardback\nPublisher: Springer Nature Switzerland AG, Switzerland\nImprint: Springer Nature Switzerland AG\nISBN-13: 9783030504045, 978-3030504045\nSynopsis\nThis book provides comprehensive coverage of the protocols of communication systems. The book is divided into four parts. Part I covers the basic concepts of system and protocol design and specification, overviews the models and languages for informal and formal specification of protocols, and describes the specification language SDL. In the second part, the basic notions and properties of communication protocols and protocol stacks are explained, including the treatment of the logical correctness and the performance of protocols. In the third part, many methods for message transfer, on which specific communication protocols are based, are explained and formally specified in the SDL language. The fourth part provides for short descriptn