next up previous contents index
Next: Timer management Up: Missing Documentation Previous: The notion of redefinition/refinement   Contents   Index

The logging model

 



Vern Paxson 2002-11-17