Skip to main content
SpringerLink
Log in

From a synchronous declarative language to a temporal logic dealing with multiform time

Extended abstract

  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1988)

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

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. Ashcroft E.A., Wadge W.W.: LUCID, the data-flow programming language. Academic Press, 1985.

    Google Scholar 

  2. Austry D., Boudol G.: Algèbre de processus et synchronisation. TCS 30, april 84.

    Google Scholar 

  3. Bergerand J-L., Caspi P., Halbwachs N., Pilaud D., Pilaud E.: Outline of a real-time data-flow language. 1985 Real-Time Symp., San Diego, dec. 85.

    Google Scholar 

  4. Berry G., Cosserat L.: The ESTEREL programming language and its mathematical semantics. RR nr. 327, INRIA, 1984. To appear in Science of Computer Programming.

    Google Scholar 

  5. Caspi P., Pilaud D., Halbwachs N., Plaice J.: LUSTRE: a declarative language for programming synchronous systems. 14th ACM Symp. on Principles of Programming Languages, Munich, january 87.

    Google Scholar 

  6. Clarke E.M., Emerson E.A., Sistla A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.

    Google Scholar 

  7. Gabbay D., Pnueli A., Shelah S., Stavi J.: On the temporal analysis of fairness. 7th ACM Symp. on Principles of Programming Languages, Las Vegas, january 80.

    Google Scholar 

  8. Harel D.: Statecharts: A visual approach to complex systems. Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, La Colle-sur-Loup, 1984.

    Google Scholar 

  9. Le Guernic P., Benveniste A., Bournai P., Gautier T.: SIGNAL: a data-flow oriented language for signal processing. RR nr. 378, INRIA, 1985.

    Google Scholar 

  10. Koymans R., DeRoever W.P.: Examples of a real-time temporal logic specification. In The analysis of Concurrent Systems, LNCS nr.207, august 83.

    Google Scholar 

  11. Manna Z., Pnueli A.: Verification of concurrent programs: the temporal framework. In The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore, eds), International Lecture Series in Computer Science, Academic Press, London, 1982.

    Google Scholar 

  12. Moszkowski B.C.: Reasoning about digital circuits. PhD Thesis, Report STAN-CS-83-970, Dept. of Computer Science, Stanford University, july 83.

    Google Scholar 

  13. Plotkin G.D.: A structural approach to operational semantics, Lecture Notes, Aarhus University, 1981.

    Google Scholar 

  14. Pnueli A.: The temporal logic of concurrent programs. 12th ICALP, LNCS 194, 1977.

    Google Scholar 

  15. Queille J-P., Sifakis J.: Specification and verification of concurrent systems in CESAR. 5th Int. Symp. on Programming, Springer-Verlag 1981.

    Google Scholar 

  16. Schwartz R.L., Melliar-Smith P.M., Vogt F.H.: An interval logic for higher-level temporal reasonning: language definition and examples. Technical Rep. CSL-138, Computer Science Lab., SRI International, february 83.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire de Génie Informatique — Institut IMAG, B.P. 53, 38041, Grenoble Cedex, France

    Daniel Pilaud & Nicolas Halbwachs

Authors
  1. Daniel Pilaud
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicolas Halbwachs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Joseph

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pilaud, D., Halbwachs, N. (1988). From a synchronous declarative language to a temporal logic dealing with multiform time. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1988. Lecture Notes in Computer Science, vol 331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50302-1_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-50302-1_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50302-6

  • Online ISBN: 978-3-540-45965-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation