Download IMC (Implementing Mobile Calculi)

Contents
1 Marshaling & UnMarshaling
3
2 Layers
2.1 Tunneling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
7
3 Sessions
9
4 Protocol States
17
5 Mobility
27
6 Nodes & Processes
6.1 Connections & Disconnections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
31
7 Events
7.1 Session Events . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
37
2