H ? « ‹ ← → › »

Language peer sets for CSP + T:
Australia↑
Australia/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

CSP + T(ID:6812/csp008)

CSP with complex event timings 

alternate simple view
Country: Australia
Designed 1986

for CSP + Time

"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"
Related languages
CCS → CSP + T   Influence
CSP → CSP + T   Augmentation of
CSP + T → TCSP   Evolution of
References:
  • Zic, J. (1986) Zic, J. 1986. A new cornmumcation protocol specification and analysls technique Tech Rep TR287 (July), Basser Dept. of Computer Science, Umv. of Sydney, Sydney. Aus
  • Zic, J J. (1991) Zic, J J. 1991. CSP + T: A formallsm for descrbing real-time systems Ph D. Thesis, Basser Dept of Computer Science, Univ. of Sydney, Sydney, Aus.
  • Zic, John J. (1994) 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 Abstract DOI Extract: Introduction
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder