Authors: JIA GP ZHENG GL

Citation: Gp. Jia et Gl. Zheng, FAIR TRANSITION SYSTEM SPECIFICATION - AN INTEGRATED APPROACH, ACM SIGPLAN NOTICES, 31(3), 1996, pp. 14-21