Author:
Isobe Yoshinao,Sato Yutaka,Ohmaki Kazuhito
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. R. Barbuti: Selective mu-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X/PSTV XVII, pp. 519–534, 1997.
2. E. Brinksma: Constraint-oriented specification in a constructive formal description technique, LNCS 430, Springer-Verlag, pp. 130–152, 1989.
3. P.J.B. Glabbeek and W.P. Weijland: Branching Time and Abstraction in Bisimulation Semantics, Journal of the ACM, Vol. 43, No. 3, pp. 555–600, 1996.
4. C.A.R. Hoare: Communicating Sequential Processes, Prentice-Hall, 1985.
5. Y. Isobe, H. Nakada, Y. Sato, and K. Ohmaki: Stepwise Synthesis of Multi-Specifications using Static Choice Actions (in Japanese). Foundation of Software Engineering IV (FOSE’97), Lecture Notes 19, Kindaikagaku-sha, pp. 12–19, 1997.