Analysis of a Session-Layer Protocol in mCRL2.

Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren Schreurs, Yaroslav S. Usenko

Browse the full FMICS paper archive.