Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1995: Mathematical Foundations of Computer Science 1995 pp 519–528Cite as

Synthesizing distinguishing formulae for real time systems -extended abstract

  • Contributed Papers
  • Conference paper
  • First Online:

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

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. J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Technical Report P8916, University of Amsterdam, 1989.

    Google Scholar 

  2. J. A. Bergstra, J. Heering, and P. Klint. Algebra of communicating processes. In CWI symposium on Mathematics and Computer Science. North-Holland, 1986.

    Google Scholar 

  3. U. Celikkan and R. Cleaveland. Diagnostic information for behavioral preorders. In Proceedings of CAV'92, volume 663 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1992.

    Google Scholar 

  4. K. čer¯ans, J.C. Godskesen, and K.G. Larsen. Timed modal specifications — theory and tools. In Proceedings of CAV'93, volume 697 of Lecture Notes In Computer Science, pages 253–267. Springer-Verlag, 1993.

    Google Scholar 

  5. R. Cleaveland. On automatically distinguishing inequivalent processes. In Proceedings of CAV'90, volume 531 of Lecture Notes In Computer Science. Springer-Verlag, 1990.

    Google Scholar 

  6. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. Technical Report ECS-LFCS-89-83, LFCS, University of Edinburgh, Scotland, 1989.

    Google Scholar 

  7. J. Davis and S. Schneider. An introduction to timed CSP. Technical Report PRG-75, Oxford University Computing Laboratory, 1989.

    Google Scholar 

  8. J.C. Godskensen and K.G. Larsen. Synthesizing Distiniguishing Formulae for Real Time Systems. BRICS Report Series RS-94-48, BRICS, Aalborg University, December 1994. Accessible via WWW: http://www.brics.aau.dk/BRICS.

    Google Scholar 

  9. J.C. Godskesen, K.G. Larsen, and M. Zeeberg. TAV — users manual. Technical Report R 89-19, University of Aalborg, Denmark, 1989.

    Google Scholar 

  10. J.C. Godskesen. Timed Modal Specifications — A Theory for Verification of Real-Time Concurrent Systems. Phd. thesis, Aalborg University, Denmark, 1994.

    Google Scholar 

  11. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, pages 137–161, 1985.

    Google Scholar 

  12. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.

    Article  Google Scholar 

  13. V. Lecompte, E. Madelaine, and D. Vergamini. Auto: A verification system for parallel and communicating processes. INRIA, Sophia-Antipolis, 1988.

    Google Scholar 

  14. R. Milner. Calculus of Communicating Systems, volume 92 of Lecture Notes In Computer Science, Springer Verlag. Springer Verlag, 1980.

    Google Scholar 

  15. K. Čer¯ans. Decidability of bisimulation equivalences for processes with parallel timers. In Proceedings of CAV'92, volume 663 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1992.

    Google Scholar 

  16. Y. Wang. Real-time behaviour of asynchronous agents. In Proceedings of CONCUR'90, volume 458 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tele Danmark Research, LyngsØ Allé 2, DK-2970, HØrsholm, Denmark

    Jens Chr. Godskesen

  2. BRICS, Aalborg Univ., Fr. Bajers Vej 7, DK-9220, Aalborg, Denmark

    Kim G. Larsen

Authors
  1. Jens Chr. Godskesen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kim G. Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jiří Wiedermann Petr Hájek

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Godskesen, J.C., Larsen, K.G. (1995). Synthesizing distinguishing formulae for real time systems -extended abstract. In: Wiedermann, J., Hájek, P. (eds) Mathematical Foundations of Computer Science 1995. MFCS 1995. Lecture Notes in Computer Science, vol 969. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60246-1_157

Download citation

  • DOI: https://doi.org/10.1007/3-540-60246-1_157

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60246-0

  • Online ISBN: 978-3-540-44768-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation