SRM/request instproc init args
SRM/request instproc set-params args
SRM/request instvar agent_
SRM/request instvar sender_
SRM/request instvar backoff_
SRM/request instvar backoffCtr_
SRM/request instvar backoffLimit_
SRM/request instproc dup-request
SRM/request instvar ns_
SRM/request instvar round_
SRM/request instvar ignore_
SRM/request instproc dup-repair
SRM/request instproc backoff
SRM/request instproc compute-delay {}
SRM/request instvar C1_
SRM/request instvar C2_
SRM/request instproc schedule {}
SRM/request instvar eventID_
SRM/request instvar delay_
SRM/request instproc cancel type
SRM/request instproc send-request {}
SRM/request instvar msgid_
SRM/request instvar sent_
SRM/request instvar statistics_
SRM/request instproc recv-request {}
SRM/request instproc recv-repair {}