{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:32:57Z","timestamp":1726407177613},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45140-4_14","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T23:17:09Z","timestamp":1185923829000},"page":"192-211","source":"Crossref","is-referenced-by-count":0,"title":["Specifying Processes with Dynamic Life Cycles"],"prefix":"10.1007","author":[{"given":"Rick","family":"van Rein","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.","key":"14_CR1","DOI":"10.1017\/CBO9780511624193"},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"M. von der Beeck. A comparison of Statecharts variants. In H. Langmaack, W.P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 128\u2013148. Springer, 1994. Lecture Notes in Computer Science 863."},{"unstructured":"R. Bird and P. Wadler. Introduction to functional programming. Prentice Hall, 1988.","key":"14_CR3"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201329, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"unstructured":"D. D\u2019Souza and A. Wills. Catalysis: Practical Rigor and Refinement. Addison-Wesley, 1998.","key":"14_CR5"},{"unstructured":"P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors. The formal description technique. LOTOS. Elsevier Science Publishers B.V., 1989.","key":"14_CR6"},{"unstructured":"S.B. Elmasri, R. Navathe. Fundamentals of database systems. Benjamin\/ Cummings, 1994.","key":"14_CR7"},{"unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison Wesley, Reading, 1996.","key":"14_CR8"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","key":"14_CR10","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"ISO, editor. Ada 95 Reference Manual, Language and Standard Libraries. 1994. ISO\/IEC 8652:1995(E).","key":"14_CR11"},{"doi-asserted-by":"crossref","unstructured":"D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. Formal Methods for Open Object-Based Distributed Systems, pages 331\u2013347, 1999.","key":"14_CR12","DOI":"10.1007\/978-0-387-35562-7_25"},{"unstructured":"Inmos Ltd. Occam 2 Reference Manual. Prentice-Hall, 1988.","key":"14_CR13"},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A calculus of communicating systems. LNCS. Springer-Verlag, 1980."},{"unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Springer-Verlag, Aug 1991.","key":"14_CR15"},{"unstructured":"Rational Software Corporation. UML Semantics. Rational Software Corporation, 1997.","key":"14_CR16"},{"doi-asserted-by":"crossref","unstructured":"R. van Rein and M. Fokkinga. Protocol assuring universal language. Formal Methods for Open Object-Based Distributed Systems, pages 241\u2013258, 1999.","key":"14_CR17","DOI":"10.1007\/978-0-387-35562-7_19"},{"unstructured":"R. van Rein and M.M. Fokkinga. Static checking of dynamic protocols. 1999. submitted to CONCUR\u201999.","key":"14_CR18"},{"unstructured":"B. Selic, G. Geullekson, and P.T. Ward. Real-time Object-Oriented Modeling. John Wiley & Sons, Inc., 1994.","key":"14_CR19"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BF00265151","volume":"27","author":"D. Taubner","year":"1989","unstructured":"D. Taubner and W. Vogler. Step failures semantics and a complete proof system. Acta Informatica, 27:125\u2013156, 1989.","journal-title":"Acta Informatica"},{"unstructured":"X\/Open, editor. Distributed Transaction Processing: Reference Model, Version 3. Feb 1996.","key":"14_CR21"},{"issue":"7","key":"14_CR22","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1002\/spe.4380230704","volume":"23","author":"B. Zorn","year":"1993","unstructured":"B. Zorn. The measured cost of conservative garbage collection. Software, Practice and Experience, 23(7):733\u2013756, July 1993.","journal-title":"Software, Practice and Experience"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45140-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T16:43:44Z","timestamp":1683996224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45140-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783319981765","9783319981772"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45140-4_14","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2000]]}}}