{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:47Z","timestamp":1725664967983},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:48Z","timestamp":1330297728000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Recent developments in the mathematics of reactive systems (extended abstract)"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Gunawardena","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"1_CR1","unstructured":"F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity. Wiley Series in Probability and Mathematical Statistics. John Wiley, 1992."},{"key":"1_CR2","unstructured":"F. Baccelli and J. Mairesse. Ergodic theorems for stochastic operators and discrete event systems. Appears in [8]."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"A. Berman and R. J. Plemmons. Nonnegative Matrices in the Mathematical Sciences. Classics in Applied Mathematics. SIAM, 1994.","DOI":"10.1137\/1.9781611971262"},{"key":"1_CR4","unstructured":"G. Cohen, S. Gaubert, and J.-P. Quadrat. Algebraic system analysis of timed Petri nets. Appears in [8]."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"K. Goebel and W. A. Kirk. Topics in Metric Fixed Point Theory, volume 28 of Cambridge Studies in Advanced Mathematics. Cambride University Press, 1990.","DOI":"10.1017\/CBO9780511526152"},{"key":"1_CR6","unstructured":"J. Gunawardena. An introduction to idempotency. Appears in [8]."},{"key":"1_CR7","unstructured":"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."},{"key":"1_CR8","unstructured":"J. Gunawardena, editor. Idempotency. Publications of the Isaac Newton Institute. Cambridge University Press, 1997."},{"key":"1_CR9","unstructured":"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."},{"key":"1_CR10","unstructured":"J. Gunawardena, M. Keane, and C. Sparrow. In preparation, 1997."},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1984-15236-4","volume":"11","author":"M. W. Hirsch","year":"1984","unstructured":"M. W. Hirsch. The dynamical systems approach to differential equations. Bulletin of the American Mathematical Society, 11:1\u201364, 1984.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Y. C. Ho, editor. Special issue on Dynamics of Discrete Event Systems. Proceedings of the IEEE, 77(1), January 1989.","DOI":"10.1109\/5.21065"},{"key":"1_CR13","unstructured":"V. N. Kolokoltsov. On linear, additive and homogeneous operators in idempotent analysis. Appears in [14]."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"V. P. Maslov and S. N. Samborskii, editors. Idempotent Analysis, volume 13 of Advances in Soviet Mathematics. American Mathematical Society, 1992.","DOI":"10.1090\/advsov\/013"},{"key":"1_CR15","unstructured":"R. D. Nussbaum. Periodic points of nonexpansive maps. Appears in [8]."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013131. IEEE Computer Society, 1992.","DOI":"10.1109\/ICCAD.1992.279387"},{"key":"1_CR17","unstructured":"J. M. Vincent. Some ergodic results on stochastic iterative DEDS. To appear in Journal of Discrete Event Dynamics Systems."}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:42:07Z","timestamp":1619574127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}