![](/img/cover-not-exists.png)
Time-constrained buffer specifications in CSP + T and timed CSP
Žic, John J.Volume:
16
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/197320.197322
Date:
November, 1994
File:
PDF, 868 KB
english, 1994