A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange

Andrew Kay, Joy N. Reed. A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng., 19(6):625-639, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.