Skip to main content
SpringerLink
Log in

Towards a denotational semantics for ET-LOTOS

  • Session: Real-Time Systems I
  • Conference paper
  • First Online:
CONCUR '95: Concurrency Theory (CONCUR 1995)

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

Included in the following conference series:

Abstract

The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract denotational semantics for the process algebraic component of this extension. The benefits of a denotational semantics are discussed, as are the applications.

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. T. Bolognesi, F. Lucidi, and S. Trigila. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 16(2), 1994.

    Google Scholar 

  2. J. Davies. Specification and proof in real time CSP. Cambridge University Press, 1993.

    Google Scholar 

  3. J. Davies and S. Schneider. Recursion induction for real-time processes. Formal Aspects of Computing, 5(6):530–553, 1993.

    Article  Google Scholar 

  4. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

    Google Scholar 

  5. ISO. Information Processing Systems—Open Systems Interconnection—LOTOS, a Formal Description Technique based on the Temporal Ordering of Observational Behaviour, February 1988. ISO/IEC-JTC1/SC21/WG1/FDT/C.

    Google Scholar 

  6. JTC1/SC21/WG1/Q48.6. Revised draft on enhancements to LOTOS. obtainable from ftp.dit.upm.es, 1994.

    Google Scholar 

  7. L. Léonard and G. Leduc. An enhanced version of timed LOTOS and its application to a case study. In Formal Description Techniques VI, 1994.

    Google Scholar 

  8. Z. Manna and A. Pneuli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992.

    Google Scholar 

  9. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.

    Google Scholar 

  10. S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2), 1995.

    Google Scholar 

  11. S. Schneider. Timewise refinement for communicating processes. Science of Computer Programming, 1995. to appear.

    Google Scholar 

  12. Kenneth J. Turner, editor. Using Formal Description Techniques — An Introduction to Estelle, LOTOS and SDL. Wiley, New York, January 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Reading, RG6 2AY, Reading

    Jeremy Bryans

  2. Programming Research Group, Wolfson Building, Parks Road, OX1 3QD, Oxford

    Jim Davies

  3. Dept. of Computer Science, Royal Holloway, University of London, TW20 0EX, Egham

    Steve Schneider

Authors
  1. Jeremy Bryans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jim Davies
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Steve Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Insup Lee Scott A. Smolka

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bryans, J., Davies, J., Schneider, S. (1995). Towards a denotational semantics for ET-LOTOS. In: Lee, I., Smolka, S.A. (eds) CONCUR '95: Concurrency Theory. CONCUR 1995. Lecture Notes in Computer Science, vol 962. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60218-6_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-60218-6_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60218-7

  • Online ISBN: 978-3-540-44738-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation