论文信息 - Algebraic Specification of Discrete Event System Models and Their Refinements - 字舞流文

Algebraic Specification of Discrete Event System Models and Their Refinements

Xiaohua Hu | Katsuaki Onogi | Yoshiyuki Nishimura | Akihiro Kaneshige

[1] David R. Musser,et al. Abstract Data Type Specification in the Affirm System , 1980, IEEE Transactions on Software Engineering.

[2] Yasuyoshi Inagaki,et al. Specification of abstract data types with partially defined operations , 1982, ICSE '82.

[3] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..