{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:04:31Z","timestamp":1740103471310,"version":"3.37.3"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,26]]},"DOI":"10.1109\/iccais63750.2024.10814295","type":"proceedings-article","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T19:22:47Z","timestamp":1735672967000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Structure for Computing Big Data in Livestream"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8272-1105","authenticated-orcid":false,"given":"Dang","family":"Van Pham","sequence":"first","affiliation":[{"name":"Graduate University of Science and Technology, Vietnam Academy of Science and Technology,Hanoi,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0797-0152","authenticated-orcid":false,"given":"Phan","family":"Cong-Vinh","sequence":"additional","affiliation":[{"name":"Institute of Applied Mechanics and Informatics, Vietnam Academy of Science and Technology,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7928-5373","authenticated-orcid":false,"given":"Toan","family":"Trong Tran","sequence":"additional","affiliation":[{"name":"Institute of Applied Mechanics and Informatics, Vietnam Academy of Science and Technology,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8273-263X","authenticated-orcid":false,"given":"Bao Khang","family":"Nguyen","sequence":"additional","affiliation":[{"name":"British International School,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-023-02180-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-5036-9_30"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-019-00265-x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/iscaie47305.2020.9108826"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100799"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-024-02297-w"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/08838151.2021.1994970"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3383668.3419904"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/BigDataService49289.2020.00014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-019-09685-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCCN.2018.8748630"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0513-2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICICET.2018.8533771"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31861-5_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s41060-016-0027-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.10.007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2017.06.013"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-018-9834-8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01168-0_5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95246-8_3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSBA.2018.00026"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IoTDI.2015.41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2017.7983276"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2015.7134005"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-015-0672-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100878"},{"key":"ref27","first-page":"19","article-title":"Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream","volume-title":"EAI ICTCC 2023 \u2013 9th EAI International Conference on Nature of Computation and Communication","volume":"586","author":"Pham"},{"key":"ref28","first-page":"261","volume-title":"The Method of Coalgebra: exercises in coinduction","author":"Rutten","year":"2019"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.08.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:14)2013"}],"event":{"name":"2024 13th International Conference on Control, Automation and Information Sciences (ICCAIS)","start":{"date-parts":[[2024,11,26]]},"location":"Ho Chi Minh City, Vietnam","end":{"date-parts":[[2024,11,28]]}},"container-title":["2024 13th International Conference on Control, Automation and Information Sciences (ICCAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10813991\/10814175\/10814295.pdf?arnumber=10814295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T07:33:57Z","timestamp":1735716837000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10814295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/iccais63750.2024.10814295","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]}}}