Analysis of a Session-Layer Protocol in mCRL2 (2007)

by M C J D van Eekelen, S ten Hoedt, R Schreurs, Y S Usenko
Venue:FMICS, volume 4916 of LNCS