Example From UVA ADEPTUVA Package Body (Cont.)
-- Package body continued from previous slide
PROCEDURE Place_Token (SIGNAL T : INOUT Token) IS
PROCEDURE Place_Token (SIGNAL T : INOUT Token; Delay : TIME) IS
PROCEDURE Ack_Token(SIGNAL T : INOUT Token) IS
-- Package body continued on next slide
Notes: