The PLAN Tutorial
*
for PLAN version 3.2
Michael Hicks and Pankaj Kakkar
Introduction
Uses of PLAN
Example programs
Starting up an Active Router
An Example
Getting Started
The Hello world program
Run the Hello world program : The
inject
program
Understanding the program
Moving on
Ping
Understanding the program :
the
OnRemote
primitive
Run this program
Chunks
The resource bound
Rationale
Managing the resource bound
The two examples and resource bound
The Plan tool
Conclusion
References
This document was tranlated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.