Modeling and Analyzing Transport Protocols

  • Peter Csaba ÖlveczkyEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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