4 lines
110 B
INI
4 lines
110 B
INI
CONSTANTS LeaseSpan = 40 ReplyMax = 20
|
|
SPECIFICATION Spec
|
|
INVARIANTS TypeOK ProcessExclusion
|
|
PROPERTY Handoff
|