{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:23Z","timestamp":1725486563362},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656432"},{"type":"electronic","value":"9783540491637"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49163-5_17","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T11:15:39Z","timestamp":1182597339000},"page":"304-323","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Action Systems with Continuous Behaviour"],"prefix":"10.1007","author":[{"given":"Mauno","family":"R\u00f6nkk\u00f6","sequence":"first","affiliation":[]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Couroubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.) Hybrid Systems, LNCS 736, Springer-Verlag, 1993."},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989","author":"R.J.R. Back","year":"1990","unstructured":"R.J.R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.P. de Roever, and G. Rozenberg, (eds.), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, LNCS 430, Springer-Verlag, 1990."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pp. 131\u2013142, 1983.","DOI":"10.1145\/800221.806716"},{"key":"17_CR4","first-page":"17","volume":"12","author":"R.J.R. Back","year":"1991","unstructured":"R.J.R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming,12, pp. 17\u201330, 1991.","journal-title":"Structured Programming"},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-56596-5_30","volume-title":"Proceedings Rex Workshop on Semantics: Foundations and Applications","author":"M. Bonsangue","year":"1993","unstructured":"M. Bonsangue and J. N. Kok. Semantics, orderings and recursion in the weakest precondition calculus. In J. W. de Bakker, G. Rozenberg, W. P. de Roever (eds.) Proceedings Rex Workshop on Semantics: Foundations and Applications, LNCS 666, pp. 91\u2013110, Springer-Verlag, 1993."},{"key":"17_CR6","unstructured":"M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD Thesis. Massachusetts Institute of Technology, EECS Dept, 1995."},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0020945","volume-title":"Hybrid Systems III","author":"M. S. Branicky","year":"1996","unstructured":"M. S. Branicky. General hybrid dynamical systems: modeling, analysis, and control. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, p. 186\u2013200, Springer-Verlag, 1996."},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"924","DOI":"10.1145\/177492.177727","volume":"16","author":"M. Broy","year":"1994","unstructured":"M. Broy and G. Nelson. Adding Fair Choice to Dijkstra\u2019s Calculus. ACM Transactions on Prog. Languages and Systems, 16,3, pp. 924\u2013938, 1994.","journal-title":"ACM Transactions on Prog. Languages and Systems"},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027234","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"M. Butler","year":"1996","unstructured":"M. Butler, E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In J-R. Abrial, E. Borger, H. Langmaack (eds.) Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, Springer-Verlag, 1996."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"K. Chandy, and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0167-6423(90)90017-8","volume":"14","author":"K. M. Chandy","year":"1990","unstructured":"K. M. Chandy. Reasoning about continuous systems. Science of Computer Programming, 14, pp. 117\u2013132, 1990.","journal-title":"Science of Computer Programming"},{"key":"17_CR12","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"17_CR13","unstructured":"C.J. Fidge, A.J Wellings. An action-based formal model for concurrent, real-time systems. Technical Report 95-1, SVR Center, January 1995."},{"key":"17_CR14","unstructured":"He Jifeng. From CSP to Hybrid Systems. In A Classical Mind, Essays in Honour of C.A.R. Hoare, pp. 171\u2013189, Prentice Hall, 1994."},{"key":"17_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-60472-3_14","volume-title":"Hybrid Systems II","author":"T. A. Henzinger","year":"1995","unstructured":"T. A. Henzinger and P.-H. Ho. HyTech: The Cornell hybrid technology tool. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pp. 265\u2013293, Springer-Verlag, 1995."},{"key":"17_CR16","unstructured":"T. A. Henzinger, P-H. Ho, and H. Wong-Toi. A User Guide to HyTech. \nhttp:\/\/www-cad.eecs.berkeley.edu\/_tah\/Publications\n\n."},{"key":"17_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BFb0020961","volume-title":"Hybrid Systems III","author":"T. A. Henzinger","year":"1996","unstructured":"T. A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 377\u2013388, 1996."},{"key":"17_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BFb0020933","volume-title":"Hybrid Systems III","author":"Y. Kesten","year":"1996","unstructured":"Y. Kesten, Z. Manna, and A. Pnuelli. Verifying Clocked Transition Systems. In R. Alur, T.A. Henzinger, and E. D. Sontag (eds.) Hybrid Systems III, LNCS 1066, pp. 13\u201340, Springer-Verlag, 1996."},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/32.210307","volume":"19","author":"R. Kurki-Suonio","year":"1993","unstructured":"R. Kurki-Suonio. Stepwise Design of Real Time Systems. IEEE Transactions on Software Engineering, 19,1, pp. 56\u201369, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/BFb0020971","volume-title":"Hybrid Systems III","author":"N. Lynch","year":"1996","unstructured":"N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg. Hybrid I\/O automata. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 496\u2013510, 1996."},{"key":"17_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/BFb0020940","volume-title":"Hybrid Systems III","author":"M. Sintzoff","year":"1996","unstructured":"M. Sintzoff. Abstract verification of structured dynamical systems. In R. Alur, T.A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 126\u2013137, Springer-Verlag, 1996."},{"key":"17_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BFb0014734","volume-title":"Workshop on Hybrid and Real-Time Systems","author":"X. Quiwen","year":"1997","unstructured":"Xu Quiwen. Semantics and verification of extended phase transition systems in duration calculus. In O. Maler, editor, Workshop on Hybrid and Real-Time Systems, LNCS 1201, pp. 301\u2013315, 1997."},{"key":"17_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0020972","volume-title":"Hybrid Systems III","author":"C. Zhou","year":"1996","unstructured":"Chaochen Zhou, Wang Ji, and A. P. Ravn. A formal description of hybrid systems. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III, LNCS 1066, pp. 511\u2013530._Springer-Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49163-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T04:03:20Z","timestamp":1586145800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49163-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656432","9783540491637"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-49163-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}