{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:15:32Z","timestamp":1770833732708,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031594618","type":"print"},{"value":"9783031594625","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-59462-5_2","type":"book-chapter","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T07:02:12Z","timestamp":1714633332000},"page":"19-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8272-1105","authenticated-orcid":false,"given":"Pham","family":"Van Dang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0797-0152","authenticated-orcid":false,"given":"Phan","family":"Cong Vinh","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8273-263X","authenticated-orcid":false,"given":"Nguyen","family":"Bao Khang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,3]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Peled, D., Staskauskas, M.: Using partial-order methods in the formal validation of industrial concurrent programs. In: Presented at the Proceedings of the 1996 ACM SIGSOFT International Symposium on Software testing and analysis, San Diego, California, USA (1996)","DOI":"10.1145\/229000.226324"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Hansen, C., Kunzmann, A., Rosenstiel, W.: Verification by simulation comparison using interface synthesis. In: Proceedings Design, Automation and Test in Europe, pp. 436\u2013443 (1998). https:\/\/doi.org\/10.1109\/DATE.1998.655894","DOI":"10.1109\/DATE.1998.655894"},{"key":"2_CR3","unstructured":"Hansen, C., Nascimento, F.A.M.D., Rosenstiel, W.: Verifying high level synthesis results using a partial order based model. In: International High Level Design Validation and Test Workshop, San Diego, CA, USA, pp. 135\u2013141 (1998)"},{"issue":"6","key":"2_CR4","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1007\/s10009-021-00615-1","volume":"23","author":"F Kordon","year":"2021","unstructured":"Kordon, F., Hillah, L.M., Hulin-Hubard, F., Jezequel, L., Paviot-Adet, E.: Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transfer 23(6), 931\u2013952 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00615-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s12927-019-0003-8","volume":"11","author":"A Souri","year":"2019","unstructured":"Souri, A., Norouzi, M.: A state-of-the-art survey on formal verification of the internet of things applications. J. Serv. Sci. Res. 11(1), 47\u201367 (2019). https:\/\/doi.org\/10.1007\/s12927-019-0003-8","journal-title":"J. Serv. Sci. Res."},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Alur, R.: Formal verification of hybrid systems. In: Presented at the Proceedings of the ninth ACM International Conference on Embedded Software, Taipei, Taiwan (2011). https:\/\/doi.org\/10.1145\/2038642.2038685","DOI":"10.1145\/2038642.2038685"},{"key":"2_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100799","volume":"22","author":"VT Anh","year":"2023","unstructured":"Anh, V.T., Vinh, P.C., Cuong, P.Q.: Contextual perception in internet of mobile things: a categorical structure. Internet Things 22, 100799 (2023). https:\/\/doi.org\/10.1016\/j.iot.2023.100799","journal-title":"Internet Things"},{"issue":"9","key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2021.106960","volume":"226","author":"Y Maruyama","year":"2022","unstructured":"Maruyama, Y.: Chu duality theory and coalgebraic representation of quantum symmetries. J. Pure Appl. Algebra 226(9), 106960 (2022). https:\/\/doi.org\/10.1016\/j.jpaa.2021.106960","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s10015-020-00597-4","volume":"25","author":"S Myojin","year":"2020","unstructured":"Myojin, S., Babaguchi, N.: A logical consideration on fraudulent email communication. Artif. Life Robot. 25(3), 475\u2013481 (2020). https:\/\/doi.org\/10.1007\/s10015-020-00597-4","journal-title":"Artif. Life Robot."},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Ivanov, L.: Automatic generation of Chu space model expressions for verification. In: 51st Midwest Symposium on Circuits and Systems, pp. 613\u2013616 (2008). https:\/\/doi.org\/10.1109\/MWSCAS.2008.4616874","DOI":"10.1109\/MWSCAS.2008.4616874"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-10575-8_6","volume-title":"Handbook of Model Checking","author":"D Peled","year":"2018","unstructured":"Peled, D.: Partial-Order Reduction. In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 173\u2013190. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_6"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Droste, M., Zhang, G.-Q.: Bifinite chu spaces. EPI Sciences Overlay Journal, lmcs:1183 - Logical Methods Comput. Sci. 6(1) (2010). https:\/\/doi.org\/10.2168\/LMCS-6(1:3)2010","DOI":"10.2168\/LMCS-6(1:3)2010"},{"issue":"6","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1168","DOI":"10.1007\/s11390-010-9397-y","volume":"25","author":"Du Xu-Tao","year":"2010","unstructured":"Xu-Tao, Du., Xing, C.-X., Zhou, L.-Z.: Modeling and verifying concurrent programs with finite chu spaces. J. Comput. Sci. Technol. 25(6), 1168\u20131183 (2010). https:\/\/doi.org\/10.1007\/s11390-010-9397-y","journal-title":"J. Comput. Sci. Technol."},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Fields, C., Glazebrook, J.F.: Information flow in context-dependent hierarchical Bayesian inference. J. Exp. Theor. Artif. Intell. 34(1), 111\u2013142 (2022). https:\/\/doi.org\/10.1080\/0952813X.2020.1836034","DOI":"10.1080\/0952813X.2020.1836034"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.entcs.2008.04.068","volume":"212","author":"F-P Huang","year":"2008","unstructured":"Huang, F.-P., Droste, M., Zhang, G.-Q.: A monoidal category of bifinite chu spaces. Electron. Notes Theor. Comput. Sci. 212, 285\u2013297 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2008.04.068","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1023\/A:1008950900254","volume":"5","author":"K Buchenrieder","year":"2000","unstructured":"Buchenrieder, K.: Rapid prototyping of embedded hardware\/software systems. Des. Autom. Embed. Syst. 5(3), 215\u2013221 (2000). https:\/\/doi.org\/10.1023\/A:1008950900254","journal-title":"Des. Autom. Embed. Syst."},{"key":"2_CR17","unstructured":"Scheide, W., Georg, D., Helmut, K.: Using Conjoint Analysis for Software Engineering. In: CONSYSE \u201897 International Workshop on Conjoint Systems Engineering: ITpress Verlag, Konferenzbeitrag (1997)"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s00354-018-0040-8","volume":"36","author":"I Ulidowski","year":"2018","unstructured":"Ulidowski, I., Phillips, I., Yuen, S.: Reversing event structures. New Gener. Comput. 36(3), 281\u2013306 (2018). https:\/\/doi.org\/10.1007\/s00354-018-0040-8","journal-title":"New Gener. Comput."},{"key":"2_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100878","volume":"23","author":"D Van Pham","year":"2023","unstructured":"Van Pham, D., Phan, V.C., Nguyen, B.K.: Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream. Internet Things 23, 100878 (2023). https:\/\/doi.org\/10.1016\/j.iot.2023.100878","journal-title":"Internet Things"},{"key":"2_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-023-02180-0","author":"D Van Pham","year":"2023","unstructured":"Van Pham, D., Phan, V.C.: Overview of the stream theory-based big data in livestream. Mobile Netw. Appl. (2023). https:\/\/doi.org\/10.1007\/s11036-023-02180-0","journal-title":"Mobile Netw. Appl."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/S1571-0661(04)80972-1","volume":"45","author":"JJMM Rutten","year":"2001","unstructured":"Rutten, J.J.M.M.: Elements of stream calculus. Electron. Notes Theor. Comput. Sci. 45, 358\u2013423 (2001). https:\/\/doi.org\/10.1016\/S1571-0661(04)80972-1","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"11","key":"2_CR22","doi-asserted-by":"publisher","first-page":"2192","DOI":"10.1016\/j.scico.2012.07.013","volume":"78","author":"M Niqui","year":"2013","unstructured":"Niqui, M., Rutten, J.J.M.M.: Stream processing coalgebraically. Sci. Comput. Program. 78(11), 2192\u20132215 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.07.013","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1109\/TPAMI.2020.3015867","volume":"44","author":"MA Helala","year":"2022","unstructured":"Helala, M.A., Qureshi, F.Z., Pu, K.Q.: A stream algebra for performance optimization of large scale computer vision pipelines. IEEE Trans. Pattern Anal. Mach. Intell. 44(2), 905\u2013923 (2022). https:\/\/doi.org\/10.1109\/TPAMI.2020.3015867","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Hansen, H.H., Kupke, C., Rutten, J.J.M.M.: Stream differential equations: specification formats and solution methods. Log. Methods Comput. Sci. 13(1) (2017). https:\/\/doi.org\/10.23638\/LMCS-13(1:3)2017","DOI":"10.23638\/LMCS-13(1:3)2017"},{"key":"2_CR25","unstructured":"Rutten, J.J.M.M.: The Method of Coalgebra: exercises in coinduction. CWI, Amsterdam, The Netherlands, p. 261 (2019). ISBN: 978-90-6196-568-8"},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1145\/348019.348093","volume":"5","author":"V Carchiolo","year":"2000","unstructured":"Carchiolo, V., Malgeri, M., Mangioni, G.: Hardware\/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Des. Autom. Electron. Syst. 5(3), 399\u2013432 (2000). https:\/\/doi.org\/10.1145\/348019.348093","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"2_CR27","doi-asserted-by":"publisher","unstructured":"Bailey, B., Gajski, D.: RTL semantics and methodology. In: International Symposium on System Synthesis (IEEE Cat. No.01EX526), pp. 69\u201374 (2001). https:\/\/doi.org\/10.1145\/500001.500017","DOI":"10.1145\/500001.500017"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Nature of Computation and Communication"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-59462-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T07:04:14Z","timestamp":1714633454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-59462-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031594618","9783031594625"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-59462-5_2","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"3 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTCC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Nature of Computation and Communication","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ho Chi Minh City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictcc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Confy +","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}