TY  - SER
AU  - Minoura, Toshimi
AU  - Iyengar, Sitharama
TI  - Data and Time Abstraction Techniques  for  Analyzing Multilevel Concurrent Systems
KW  - Access Path
KW  - Bounded Buffer
KW  - Data Abstraction
ER  -