Next:
Principles
Up:
LOTOS specification
Previous:
Behaviour
Abstract data types
Principles
Public-key encryption and signature
