{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:01Z","timestamp":1772164021558,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,1,23]]},"DOI":"10.1145\/2429069.2429120","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"417-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Hyperstream processing systems"],"prefix":"10.1145","author":[{"given":"Kohei","family":"Suenaga","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyoshi","family":"Sekine","sequence":"additional","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"Abramsky S.","year":"1994","unstructured":"S. Abramsky and A. Jung . Domain theory . In S. Abramsky, D. M. Gabbai, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science , volume 3 , pages 1 -- 168 . Oxford Univ. Press , 1994 . S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbai, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1--168. Oxford Univ. Press, 1994."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_2_3_1","unstructured":"R.\n      Beauxis\n     and \n      S.\n      Mimram\n  . \n  A non-standard semantics for Kahn networks in continuous time\n  . In M. Bezem editor CSL volume \n  12\n   of \n  LIPIcs pages \n  35\n  --\n  50\n  . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011\n  . \n  ISBN\n   978-3-939897-32-3.  R. Beauxis and S. Mimram. A non-standard semantics for Kahn networks in continuous time. In M. Bezem editor CSL volume 12 of LIPIcs pages 35--50. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011. ISBN 978-3-939897-32-3."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967687"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362676.2362680"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"e_1_3_2_2_8_1","volume-title":"International Symposium on Mathematical Theory of Networks and Systems (MTNS 2004)","author":"Bujorianu M. L.","year":"2004","unstructured":"M. L. Bujorianu and J. Lygeros . Theoretical foundations of stochastic hybrid systems . In International Symposium on Mathematical Theory of Networks and Systems (MTNS 2004) , 2004 . M. L. Bujorianu and J. Lygeros. Theoretical foundations of stochastic hybrid systems. In International Symposium on Mathematical Theory of Networks and Systems (MTNS 2004), 2004."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.80"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967688"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0615-6","volume-title":"Lectures on the Hyperreals: An Introduction to Nonstandard Analysis","author":"Goldblatt R.","year":"1998","unstructured":"R. Goldblatt . Lectures on the Hyperreals: An Introduction to Nonstandard Analysis . Springer-Verlag , 1998 . R. Goldblatt. Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Springer-Verlag, 1998."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_34"},{"key":"e_1_3_2_2_14_1","volume-title":"An Introduction to Nonstandard Real Analysis","author":"Hurd A. E.","year":"1985","unstructured":"A. E. Hurd and P. A. Loeb . An Introduction to Nonstandard Real Analysis . Academic Press , 1985 . A. E. Hurd and P. A. Loeb. An Introduction to Nonstandard Real Analysis. Academic Press, 1985."},{"key":"e_1_3_2_2_15_1","first-page":"471","volume-title":"IFIP Congress","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The semantics of simple language for parallel programming . In IFIP Congress , pages 471 -- 475 , 1974 . G. Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471--475, 1974."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.38"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1211808"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/788022.789002"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems--Proving Theorems for Complex Dynamics","author":"Platzer A.","year":"2010","unstructured":"A. Platzer . Logical Analysis of Hybrid Systems--Proving Theorems for Complex Dynamics . Springer , 2010 . ISBN 978--3--642--14508--7. A. Platzer. Logical Analysis of Hybrid Systems--Proving Theorems for Complex Dynamics. Springer, 2010. ISBN 978--3--642--14508--7."},{"key":"e_1_3_2_2_22_1","unstructured":"A.\n      Platzer\n    .\n  Stochastic differential dynamic logic for stochastic hybrid programs\n  . In N. Bj\u00f8rner and V. Sofronie-Stokkermans editors CADE volume \n  6803\n   of \n  Lecture Notes in Computer Science pages \n  446\n  --\n  460\n  . \n  Springer 2011\n  . ISBN 978--3--642--22437--9.   A. Platzer. Stochastic differential dynamic logic for stochastic hybrid programs. In N. Bj\u00f8rner and V. Sofronie-Stokkermans editors CADE volume 6803 of Lecture Notes in Computer Science pages 446--460. Springer 2011. ISBN 978--3--642--22437--9."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.64"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400884223"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_38"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755984"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0046-1"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185658"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050095"},{"key":"e_1_3_2_2_30_1","unstructured":"K.\n      Suenaga\n     and \n      I.\n      Hasuo\n  . \n  Programming with infinitesimals: A while-language for hybrid system modeling\n  . In L. Aceto M. Henzinger and J. Sgall editors ICALP (2) volume \n  6756\n   of \n  Lect\n  . Notes Comp. Sci. pages \n  392\n  --\n  403\n  . \n  Springer 2011\n  . ISBN 978--3--642--22011--1.   K. Suenaga and I. Hasuo. Programming with infinitesimals: A while-language for hybrid system modeling. In L. Aceto M. Henzinger and J. Sgall editors ICALP (2) volume 6756 of Lect. Notes Comp. Sci. pages 392--403. Springer 2011. ISBN 978--3--642--22011--1."},{"key":"e_1_3_2_2_31_1","volume-title":"Hyperstream processing systems: Nonstandard modeling of continuous signal processing. Extended version with proofs","author":"Suenaga K.","year":"2013","unstructured":"K. Suenaga , H. Sekine , and I. Hasuo . Hyperstream processing systems: Nonstandard modeling of continuous signal processing. Extended version with proofs , 2013 .www-mmm.is.s.u-tokyo.ac.jp\/ ichiro\/papers.html K. Suenaga, H. Sekine, and I. Hasuo. Hyperstream processing systems: Nonstandard modeling of continuous signal processing. Extended version with proofs, 2013.www-mmm.is.s.u-tokyo.ac.jp\/ ichiro\/papers.html"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706315"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01111743"}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Rome Italy","acronym":"POPL '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429120","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:35Z","timestamp":1750221335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429120"}},"subtitle":["nonstandard modeling of continuous-time signals"],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":35,"alternative-id":["10.1145\/2429069.2429120","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429120","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429120","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}