{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:56:53Z","timestamp":1753520213948},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040801"},{"type":"electronic","value":"9783642040818"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04081-8_21","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T16:27:08Z","timestamp":1251736028000},"page":"305-320","source":"Crossref","is-referenced-by-count":8,"title":["HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour"],"prefix":"10.1007","author":[{"given":"Vashti","family":"Galpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.jlap.2005.10.004","volume":"68","author":"R. Alur","year":"2006","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional modeling and refinement for hierarchical hybrid systems. Journal of Logic and Algebraic Programming\u00a068(1-2), 105\u2013128 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"issue":"2-3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.tcs.2004.04.019","volume":"335","author":"J.A. Bergstra","year":"2005","unstructured":"Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theoretical Computer Science\u00a0335(2-3), 215\u2013280 (2005)","journal-title":"Theoretical Computer Science"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bortolusssi, L., Policriti, A.: Hybrid approximation of stochastic process algebras for systems biology. In: IFAC World Congress, Seoul, South Korea (July 2008)","DOI":"10.3182\/20080706-5-KR-1001.02132"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1177\/0037549708097215","volume":"8","author":"P. Cuijpers","year":"2008","unstructured":"Cuijpers, P., Broenink, J., Mosterman, P.: Constitutive hybrid processes: a process-algebraic semantics for hybrid bond graphs. Simulation\u00a08, 339\u2013358 (2008)","journal-title":"Simulation"},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"P.J.L. Cuijpers","year":"2005","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Journal of Logic and Algebraic Programming\u00a062(2), 191\u2013245 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-71493-4_14","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2007","unstructured":"Davoren, J.M., Tabuada, P.: On simulations and bisimulations of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 145\u2013158. Springer, Heidelberg (2007)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BFb0031558","volume-title":"Hybrid Systems IV","author":"A. Deshpande","year":"1997","unstructured":"Deshpande, A., G\u00f6ll\u00fc, A., Varaiya, P.: SHIFT: A formalism and a programming language for dynamic networks of hybrid automata. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1996. LNCS, vol.\u00a01273, pp. 113\u2013133. Springer, Heidelberg (1997)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403, 335\u2013338 (2000)","journal-title":"Nature"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2008.10.004","volume":"218","author":"V. Galpin","year":"2008","unstructured":"Galpin, V., Hillston, J., Bortolussi, L.: HYPE applied to the modelling of hybrid biological systems. Electronic Notes in Theoretical Computer Science\u00a0218, 33\u201351 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1016001318739","volume":"21","author":"R. Grosu","year":"2002","unstructured":"Grosu, R., Stauner, T.: Modular and visual specification of hybrid systems: An introduction to HyCharts. Formal Methods in System Design\u00a021(1), 5\u201338 (2002)","journal-title":"Formal Methods in System Design"},{"issue":"2-3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E. Haghverdi","year":"2005","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science\u00a0342(2-3), 229\u2013261 (2005)","journal-title":"Theoretical Computer Science"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1-2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/QEST.2005.12","volume-title":"Second International Conference on the Quantitative Evaluation of Systems (QEST 2005)","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), pp. 33\u201343. IEEE Computer Society, Los Alamitos (2005)"},{"key":"21_CR16","unstructured":"Khadim, U.: A comparative study of process algebras for hybrid systems. Computer Science Report CSR 06-23, Technische Universiteit Eindhoven (2006), http:\/\/alexandria.tue.nl\/extra1\/wskrap\/publichtml\/200623.pdf"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Mathematics of Control, Signals, and Systems\u00a013(1), 1\u201321 (2000)","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"21_CR18","volume-title":"Analysis and Design of Engineering Systems","author":"H. Paynter","year":"1961","unstructured":"Paynter, H.: Analysis and Design of Engineering Systems. MIT Press, Cambridge (1961)"},{"issue":"1","key":"21_CR19","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","volume":"290","author":"M. R\u00f6nkk\u00f6","year":"2003","unstructured":"R\u00f6nkk\u00f6, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science\u00a0290(1), 937\u2013973 (2003)","journal-title":"Theoretical Computer Science"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-36580-X_32","volume-title":"Hybrid Systems: Computation and Control","author":"W.C. Rounds","year":"2003","unstructured":"Rounds, W.C., Song, H.: The \u03a6-calculus: A language for distributed control of reconfigurable embedded systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 435\u2013449. Springer, Heidelberg (2003)"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1008387132533","volume":"11","author":"B. Tuffin","year":"2001","unstructured":"Tuffin, B., Chen, D.S., Trivedi, K.S.: Comparison of hybrid systems and fluid stochastic Petri nets. Discrete Event Dynamic Systems: Theory and Applications\u00a011, 77\u201395 (2001)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"1-2","key":"21_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jlap.2005.10.005","volume":"68","author":"D. Beek van","year":"2006","unstructured":"van Beek, D., Man, K., Reniers, M., Rooda, J., Schiffelers, R.: Syntax and consistent equation semantics of hybrid \u03c7. Journal of Logic and Algebraic Programming\u00a068(1-2), 129\u2013210 (2006)","journal-title":"Journal of Logic and Algebraic Programming"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2009 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04081-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T08:46:16Z","timestamp":1558514776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04081-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040801","9783642040818"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04081-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}