1.
Modeling protocol behaviour in π-calculus using the Mobility Workbench
File Format: PDF/Adobe Acrobat - View as HTML We model the behaviour of a mobility-enhanced network protocol stack in the pure π-calculus, and use the Mobility Workbench (MWB) tool to ...
2.
Notes for the Verification of the Session Management Protocol
File Format: PDF/Adobe Acrobat - View as HTML Notes for the Verification of the Session. Management Protocol. Karl Palmskog ..... http://www.eecs.umich.edu/techreports/cse/03/CSE-TR-472-03.pdf. ...
3.
4.
5.
6.
7.
8.
9.
10.