Timed constrained buffer specifications in CSP + T and timed CSP (1994) [2 citations — 0 self]
Download:
|
|
by John J. Zic
ACM Transaction on Programming Languages and Systems
ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9407.ps.Z
Add To MetaCart
Abstract:
A finite buffer with time constraints on the rate of accepting inputs, producing outputs and message latency is specified using both Timed CSP and a new real-time specification language, CSP+T. CSP+T adds expressive power to some of the sequential aspects of CSP and allows the description of complex event timings from within a single sequential process. On the other hand, Timed CSP encourages event timing descriptions to be built up in a constraint-oriented manner with the parallel composition of several processes. Although these represent two complementary specification styles, both provide valuable insights into specification of complex event timings. E-mail:
Citations
| 1069 | A calculus of communicating systems – Milner - 1980 |
| 229 | Client Requirements for Real-Time Communication Services – Ferrari - 1990 |
| 136 | A timed model for communicating sequential processes,” Theoret – Reed, Roscoe - 1988 |
| 66 | A Brief History of Timed CSP – Davies, Schneider - 1992 |
| 22 | Introduction of Quantitative Relative Time into LOTOS – Quemada, Fernandez - 1987 |
| 16 | A constraint-oriented real-time process calculus – Fidge - 1993 |
| 10 | A complete axiomatization of real-time processes – Gerber, Lee, et al. - 1988 |
| 6 | An Introduction to LOTOS – Brinksma - 1987 |
