Modeling and Analyzing Transport Protocols

Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

This chapter illustrates how (Full) Maude can be used to model and analyze a series of protocols for achieving reliable ordered communication on top of an underlying unreliable transmission medium.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations