Zic, John J. "Time-constrained buffer specifications in CSP + T and timed CSP" ACM Transactions on Programming Languages and Systems (TOPLAS) 16(6) November 1994 pp1661-1674
(1994) |
Languages mentioned
- CSP + T {1986} CSP with complex event timings
- Timed CSP {1986} Extension of CSP to include timing constructs
|
|