{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:16Z","timestamp":1725493576972},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008996"},{"type":"electronic","value":"9783540365785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36578-8_14","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:16:11Z","timestamp":1193454971000},"page":"184-199","source":"Crossref","is-referenced-by-count":7,"title":["Modular Analysis of Dataflow Process Networks"],"prefix":"10.1007","author":[{"given":"Yan","family":"Jin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Esser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Lakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rn W.","family":"Janneck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Using domain-specific languages for the realization of component composition","author":"M. Anlauff","year":"2000","unstructured":"M. Anlauff, P. Kutter, A. Pierantonio, and A. S\u00fcnb\u00fcl. Using domain-specific languages for the realization of component composition. In Proc. of the Fundamental Approaches to Software Engineering (FASE 2000), LNCS 1783. Springer."},{"doi-asserted-by":"crossref","unstructured":"F. Bachman, L. Bass, C. Buhman, S. Comella-Dorda, F. Long, J. Robert, R. Seacord, and K. Wallnau. Volume II: Technical concepts of component-based software engineering. Technical Report CMU\/SEI-2000-TR-008, 2000.","key":"14_CR2","DOI":"10.21236\/ADA379930"},{"doi-asserted-by":"crossref","unstructured":"L. de Alfaro and T. Henzinger. Interface automata. In Proc. of the Foundation of Software Engeneering (FSE 2001), pages 109\u2013122. ACM Press.","key":"14_CR3","DOI":"10.1145\/503209.503226"},{"unstructured":"R. Esser and J. Janneck. Moses-a tool suite for visual modelling of discrete-event systems. In Symposium on Visual\/Multimedia Approaches to Programming and Software Engineering, 2001.","key":"14_CR4"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proving deadlock freedom in component-based programming","author":"P. Inverardi","year":"2001","unstructured":"P. Inverardi and S. Uchitel. Proving deadlock freedom in component-based programming. In Proc. of the Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029."},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/352591.352593","volume":"9","author":"P. Inverardi","year":"2000","unstructured":"P. Inverardi, A. Wolf, and D. Yankelevich. Static checking of system behaviors using derived component assumptions. ACM Trans. on Software Engineering and Methodology, 9(3):239\u2013272, 2000.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"unstructured":"J. Janneck and R. Esser. Higher-order Petri Net modeling-techniques and applications. In Workshop on Softw. Eng. and Formal Methods of ICATPN 2002.","key":"14_CR7"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1 of Monographs in Theoretical Computer Science. Springer-Verlag, 1997.","key":"14_CR8","DOI":"10.1007\/978-3-642-60794-3"},{"doi-asserted-by":"crossref","unstructured":"Y. Jin, R. Esser, and J. Janneck. Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment. In Proc. of the Diagrammatic Representation and Inference (Diagrams 2002), LNAI 2317. Springer.","key":"14_CR9","DOI":"10.1007\/3-540-46037-3_30"},{"unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress 1974, pages 471\u2013475. North-Holland Publishing Co.","key":"14_CR10"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1137\/0114108","volume":"14","author":"R. Karp","year":"1966","unstructured":"R. Karp and R. Miller. Properties of a model for parallel computations: determinacy, termination, queuing. SIAM J. Appl. Math., 14:1390\u20131411, 1966.","journal-title":"SIAM J. Appl. Math."},{"doi-asserted-by":"crossref","unstructured":"E. Lee and T. Parks. Dataflow process networks. Proc. of the IEEE, 83(5):773\u2013801, 1995.","key":"14_CR12","DOI":"10.1109\/5.381846"},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Conformance checking for models of asynchronous message passing software","author":"S. Rajamani","year":"2002","unstructured":"S. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In Proc. of the Computer-Aided Verification (CAV 2002), LNCS 2404. Springer."},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, LNCS 1491. Springer-Verlag, 1998."},{"unstructured":"D. Skillcorn. Stream languages and data-flow. In Advanced Topics in Data-Flow Computing. Prentice Hall, 1991.","key":"14_CR15"},{"doi-asserted-by":"crossref","unstructured":"S. Uchitel and D. Yankelevich. Enhancing architectural mismatch detection with assumptions. In Proc. of the Eng. of Computer Based Systems (ECBS 2000).","key":"14_CR16","DOI":"10.1109\/ECBS.2000.839871"},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"D. Yellin and R. Storm. Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292\u2013333, 1997.","journal-title":"ACM Trans. on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36578-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:07:59Z","timestamp":1556921279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36578-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008996","9783540365785"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36578-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}