{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:36:17Z","timestamp":1736314577573,"version":"3.32.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10766-005-0001-y","type":"journal-article","created":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T10:11:03Z","timestamp":1138788663000},"page":"29-59","source":"Crossref","is-referenced-by-count":7,"title":["Verification of System Level Model Transformations"],"prefix":"10.1007","volume":"34","author":[{"given":"Samar","family":"Abdi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gajski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,2,1]]},"reference":[{"key":"1_CR1","unstructured":"G. Kahn, The Semantics of a Simple Language for Parallel Programming, Info. Proc., pp. 471\u2013475 (August 1974)."},{"key":"1_CR2","volume-title":"System Level Verification with Model Algebra","author":"S. Abdi","year":"2004","unstructured":"Abdi S., Gajski D. (2004). System Level Verification with Model Algebra, Technical Report CECS-TR-04-29, University of California, Irvine"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"C. Hoare, Communicating Sequential Processes, Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Springer (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Harel D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8(3): 231\u2013274 (June 1987), url citeseer.nj.nec.com\/harel87statecharts.html.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"1_CR6","unstructured":"J. Jorgensen and L. Kristensen, Verification of Colored Petri Nets Using State Spaces with Equivalence Classes, Proceedings of the Workshop on Petri Nets in System Engineering, pp. 20\u201331 (September 1997)."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe, Case Studies of Model Checking for Embedded System Designs, Third International Conference on Application of Concurrency to System Design, pp. 20\u201328 (June 2003).","DOI":"10.1109\/CSD.2003.1207696"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"S. Rajan, Correctness of Transformations in High Level Synthesis, International Conference on Computer Hardware Description Languages and their Applications, pp. 597\u2013603 (June 1995).","DOI":"10.1109\/ASPDAC.1995.486375"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Camposano R. (1990). Behavior-Preserving Transformations for High-Level Synthesis. Proceedings of the Mathematical Sciences Institute workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects. Springer-Verlag, New York, Inc. pp. 106\u2013128","DOI":"10.1007\/0-387-97226-9_26"},{"key":"1_CR10","unstructured":"Middlehoek, A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems, IEEE International High Level Design Validation and Test Workshop (November 1996)."},{"key":"1_CR11","unstructured":"H. Saito, T. Ogawa, T. Sakunkonchak, M. Fujita, and T. Nanya, An Equivalence Checking Methodology for Hardware Oriented C-based Specifications, IEEE International High Level Design Validation and Test Workshop, pp. 274\u2013277 (October 2002)."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao, SpecC: Specification Language and Methodology, Kluwer Academic Publishers (January 2000).","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"T. Sakunkonchak and M. Fujita, Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams, Proceedings of the Forum for Design Languages (September 2002).","DOI":"10.1007\/3-540-36135-9_25"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"E. Barros and A. Sampaio, Towards Provably Correct Hardware\/Software Partitioning Using Occam, Proceedings of the International Workshop on Hardware\u2013Software Codesign, pp. 210\u2013217 (June 2004).","DOI":"10.1109\/HSC.1994.336704"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"S. Abdi and D. Gajski, Automatic Generation of Equivalent Architecture Model from Functional Specification, Proceedings of the Design Automation Conference (June 2004).","DOI":"10.1145\/996566.996732"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-005-0001-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-005-0001-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-005-0001-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T15:36:03Z","timestamp":1736264163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-005-0001-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2,1]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["1"],"URL":"https:\/\/doi.org\/10.1007\/s10766-005-0001-y","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2006,2,1]]}}}