SCRIPT(ID:1267/scr014)

Real-time language.
References:
  • Francez N. et al. "A Communication Abstraction Mechanism and its Verification", Sci Comp Prog 6(1):35-88 (1986). view details