Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation

Kong E. Cheng, Lindsay N. Jackson. Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 409-419, North-Holland, 1989.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.