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
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems - 47-59 p.
Access Path
Bounded Buffer
Data Abstraction