-- FIFO.sak
-- last edited by Suzuki:   1-Oct-81  9:56:19

DIRECTORY
  Connector,
  Process;
  
FIFO: MONITOR
  IMPORTS Connector, Process ={
	
size: CARDINAL = 36;

FIFOFunc: DEVICE = {
	IN Init: BOOLEAN
	OUT SpaceAv: CARDINAL
	GUARDIAN {
		   }
	STATE A: ARRAY [1..37] OF CARDINAL, rp, wp: CARDINAL
	CONTROL  {}
	};
	 
Start: DEVICE = {
	IN s: BOOLEAN
	OUT ReadRequest, WriteRequest, Init: BOOLEAN
	GUARDIAN {}
	STATE
	CONTROL {}
	};
	
NULL


}. -- end of FIFO DEFINITION