Skip to main content
SpringerLink
Log in
Book cover

Annual Symposium on Theoretical Aspects of Computer Science

STACS 1996: STACS 96 pp 345–359Cite as

Compositional specification of timed systems

Extended abstract

  • Invited Lecture
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science. 126:183–235, 1994.

    Article  Google Scholar 

  2. T. Bolognesi and F. Lucidi. Timed process algebras with urgent interactions and a unique powerful binary operator. In Proc. REX Workshop “Real-Time: Theory in Practice”. Lecture Notes in Computer Science 600, Springer-Verlag, 1991.

    Google Scholar 

  3. S.D. Brookes, C.A.R. Hoare. and A.W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the ACM. 31(3):560–599, 1984.

    Article  Google Scholar 

  4. T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation. 111(2):193–244. 1994.

    Article  Google Scholar 

  5. O. Maler and A. Pnueli. Timing analysis of asynchronous circuits using timed automata. In CHARME'95. pages 189–205. Lecture Notes in Computer Science 987. Springer-Verlag, 1995.

    Google Scholar 

  6. P. Merlin and D. J. Farber. Recoverability of communication protocols. IEEE Transactions on Communications. 24(9). September 1976.

    Google Scholar 

  7. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science. 25:267–310, 1983.

    Article  Google Scholar 

  8. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. 3rd Workshop on Computer-Aided Verification, pages 376–398. Lecture Notes in Computer Science 575, Springer-Verlag.

    Google Scholar 

  9. X. Nicollin. J. Sifakis. and S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems. 18(9):794–804. September 1992.

    Google Scholar 

  10. P. Sénac. M. Diaz. and P. de Saqui-Sannes. Toward a formal specification of multimedia scenarios. Annals of telecommunications. 49(5–6):297–314. 1994.

    Google Scholar 

  11. J. Sifakis. Use of petri nets for performance evaluation. In Measuring, modeling and evaluating computer systems, pages 75–93. North-Holland. 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VERIMAG-SPECTRE Miniparc-Zirst, Rue Lavoisier, 38330, Montbonnot, France

    Joseph Sifakis & Sergio Yovine

Authors
  1. Joseph Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Yovine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Claude Puech Rüdiger Reischuk

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sifakis, J., Yovine, S. (1996). Compositional specification of timed systems. In: Puech, C., Reischuk, R. (eds) STACS 96. STACS 1996. Lecture Notes in Computer Science, vol 1046. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60922-9_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-60922-9_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60922-3

  • Online ISBN: 978-3-540-49723-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation