Specifying Asynchronous Transfer of Control

Padmanabhan Krishnan, Peter D. Mosses. Specifying Asynchronous Transfer of Control. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 291-306, Springer, 1992.

Authors

Padmanabhan Krishnan

This author has not been identified. Look up 'Padmanabhan Krishnan' in Google

Peter D. Mosses

Identified as Peter D. Mosses