RT-Z(ID:8161/)

for RealTime Z

combination of Z and CSP
Related languages
CSP => RT-Z   Incorporated features of
Z => RT-Z   Incorporated features of
References:
  • Suhl, C. "RT-Z: an integration of Z and timed CSP" view details
          in Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999. view details