Skip to main content
SpringerLink
Log in
Book cover

International Conference on Concurrency Theory

CONCUR 1997: CONCUR '97: Concurrency Theory pp 1–4Cite as

Recent developments in the mathematics of reactive systems (extended abstract)

  • Invited Talks
  • Conference paper
  • First Online:

  • 121 Accesses

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

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. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity. Wiley Series in Probability and Mathematical Statistics. John Wiley, 1992.

    Google Scholar 

  2. F. Baccelli and J. Mairesse. Ergodic theorems for stochastic operators and discrete event systems. Appears in [8].

    Google Scholar 

  3. A. Berman and R. J. Plemmons. Nonnegative Matrices in the Mathematical Sciences. Classics in Applied Mathematics. SIAM, 1994.

    Google Scholar 

  4. G. Cohen, S. Gaubert, and J.-P. Quadrat. Algebraic system analysis of timed Petri nets. Appears in [8].

    Google Scholar 

  5. K. Goebel and W. A. Kirk. Topics in Metric Fixed Point Theory, volume 28 of Cambridge Studies in Advanced Mathematics. Cambride University Press, 1990.

    Google Scholar 

  6. J. Gunawardena. An introduction to idempotency. Appears in [8].

    Google Scholar 

  7. J. Gunawardena. Timing analysis of digital circuits and the theory of min-max functions. In Digest of Technical Papers of the ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems. ACM, 1993.

    Google Scholar 

  8. J. Gunawardena, editor. Idempotency. Publications of the Isaac Newton Institute. Cambridge University Press, 1997.

    Google Scholar 

  9. J. Gunawardena and M. Keane. On the existence of cycle times for some nonexpansive maps. Technical Report HPL-BRIMS-95-003, Hewlett-Packard Labs, 1995.

    Google Scholar 

  10. J. Gunawardena, M. Keane, and C. Sparrow. In preparation, 1997.

    Google Scholar 

  11. M. W. Hirsch. The dynamical systems approach to differential equations. Bulletin of the American Mathematical Society, 11:1–64, 1984.

    Google Scholar 

  12. Y. C. Ho, editor. Special issue on Dynamics of Discrete Event Systems. Proceedings of the IEEE, 77(1), January 1989.

    Google Scholar 

  13. V. N. Kolokoltsov. On linear, additive and homogeneous operators in idempotent analysis. Appears in [14].

    Google Scholar 

  14. V. P. Maslov and S. N. Samborskii, editors. Idempotent Analysis, volume 13 of Advances in Soviet Mathematics. American Mathematical Society, 1992.

    Google Scholar 

  15. R. D. Nussbaum. Periodic points of nonexpansive maps. Appears in [8].

    Google Scholar 

  16. T. Szymanski and N. Shenoy. Verifying clock schedules. In Digest of Technical Papers of the IEEE International Conference on Computer-Aided Design of Integrated Circuits, pages 124–131. IEEE Computer Society, 1992.

    Google Scholar 

  17. J. M. Vincent. Some ergodic results on stochastic iterative DEDS. To appear in Journal of Discrete Event Dynamics Systems.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hewlett-Packard Laboratories, Basic Research Institute in the Mathematical Sciences, BS12 6QZ, Bristol, UK

    Jeremy Gunawardena

Authors
  1. Jeremy Gunawardena
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz Józef Winkowski

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gunawardena, J. (1997). Recent developments in the mathematics of reactive systems (extended abstract). In: Mazurkiewicz, A., Winkowski, J. (eds) CONCUR '97: Concurrency Theory. CONCUR 1997. Lecture Notes in Computer Science, vol 1243. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63141-0_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-63141-0_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63141-5

  • Online ISBN: 978-3-540-69188-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation