Minoura, Toshimi Iyengar, Sitharama <br/><br/>
Data and Time Abstraction Techniques  for  Analyzing Multilevel Concurrent Systems 

 - 47-59 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Access Path<br/>Bounded Buffer<br/>Data Abstraction