Skip to main content
SpringerLink
Log in

Specifying asynchronous transfer of control

  • Session 6B
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 571))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Avizienis. The N-version Approach to Fault-Tolerant Software. IEEE Transactions on Software Engineering, pages 1491–1501, Dec 1985.

    Google Scholar 

  2. A.D. Birrell and B.J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(4):39–59, February 1981.

    Google Scholar 

  3. F. Cristian, H. Aghili, and R. Strong. Clock synchronization in the presence of omission and performance faults and processor joins. In Proceedings of the Sixteenth International Symposium on Fault-Tolerant Computing, 1986.

    Google Scholar 

  4. F. Cristian. Understanding fault-tolerant distributed systems. CACM, 34(2), February 1991.

    Google Scholar 

  5. M. Hecht, J. Argon, and S. Hochhauser. A distributed fault-tolerant architecture for nuclear reactor control and safety functions. In The 10th IEEE Real-Time Systems Symposium, pages 214,221, 1989.

    Google Scholar 

  6. R. Koymans and R. Kuiper. Paradigms for real-time systems. In M. Joseph, editor, Proceedings of the symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: LNCS 331. Springer Verlag, 1988.

    Google Scholar 

  7. P. Krishnan. Real-time Action. In Euromicro Workshop on Real-Time Systems, 1991.

    Google Scholar 

  8. J. C. Knight and J. I. A. Urquhart. On the implementation and use of Ada an fault-tolerant distributed systems. IEEE Trans. on Software Engineering, 13(5):553–563, May 1987.

    Google Scholar 

  9. P. D. Mosses. Abstract semantics algebras. In D. Bjoerner, editor, Proceeding of the IFIP TC2 Working Conference on Formal Description of Programming Concepts II, pages 63–88. North Holland, 1982.

    Google Scholar 

  10. P. D. Mosses. Unified Algebras and Action Semantics. In STACS 89, LNCS-349. Springer Verlag, 1989.

    Google Scholar 

  11. P. D. Mosses. Action semantics. Technical report, DAIMI: Aarhus University, 1990.

    Google Scholar 

  12. P. D. Mosses. Action Semantics. Cambridge University Press (in the series Tracts in Theoretical Computer Science), to appear in 1991. Available as tech report from DAIMI:Aarhus University.

    Google Scholar 

  13. P. D. Mosses and D. A. Watt. The use of Action Semantics. In Proceeding of the IFIP TC2 Working Conference on Formal Description of Programming Concepts III, 1986. North Holland, 1987.

    Google Scholar 

  14. Proceedings of the 2nd International Workshop on Real-Time Ada issues, volume 8(7). ACM, Ada Letters, 1988.

    Google Scholar 

  15. J. Stamos and D. Gifford. Remote evaluation. ACM Transactions on Programming Language and Systems, 12(4):537–565, October 1990.

    Google Scholar 

  16. T. K. Srikanth and S. Toueg. Optimal clock synchronization. Journal of the Association of the Computing Machinery, 34(3):626–645, July 1987.

    Google Scholar 

  17. T. Taft. Asynchronous event handling: Revision request. Technical report, Intermetrics Inc, March 1989.

    Google Scholar 

  18. D. A. Watt. An Action Semantics of standard ML. In Mathematical Foundations of Programming Language Semantics: LNCS 298, pages 572–598. Springer Verlag, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Canterbury, Christchurch 1, New Zealand

    Padmanabhan Krishnan

  2. Department of Computer Science, Aarhus University, Ny Munkegade Building 540, 8000, Aarhus C, DK, Denmark

    Peter D. Mosses

Authors
  1. Padmanabhan Krishnan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter D. Mosses
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krishnan, P., Mosses, P.D. (1991). Specifying asynchronous transfer of control. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-55092-5_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55092-1

  • Online ISBN: 978-3-540-46692-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation