Subject
Computer Science Applications,Information Systems,Software
Reference25 articles.
1. Synthesis of communication protocols: an annotated bibliography;Saleh;Computer Communication Review,1996
2. Introduction to the ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987
3. G. von Bochmann, R. Gotzhein, Deriving protocol specifications from service specifications, in: Proceedings of the ACM SIGCOMM’86 Symposium, Vermont, USA, 1986, pp. 148–156.
4. Functionality decomposition by compositional correctness preserving transformation;Brinksma;South African Computer Journal,1995
5. A decomposition of a formal specification: an improved constraint-oriented method;Go;IEEE Transactions on Software Engineering,1999