Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems

Minoura, Toshimi Iyengar, Sitharama

Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems - 47-59 p.


Access Path
Bounded Buffer
Data Abstraction