摘要
卡齐·马苏杜尔·阿拉姆（Kazi Masudul Alam）和阿卜杜拉·萨迪克（Abdulmotaleb El Saddik）。 2017.C2PS：基于云的网络物理系统的数字双架构参考模型。 IEEE接入，5（2017），2050-2062。 https://doi.org/10.109/ACCESS.2017.2657006 谷歌学者 
交叉引用 
安卓。 2009.运动传感器。 https://developer.android.com/guide/topics/sensors/sensors_motion（https://developer.android.com/guide/topics/sensors/sensors_motion） 谷歌学者 斯蒂芬妮·巴尔泽（Stephanie Balzer）和弗兰克·普芬宁（Frank Pfenning）。 2017.与会话类型共享清单。 程序。 ACM计划。 Lang.，1，ICFP（2017），第37条，8月，29页。 https://doi.org/10.1145/3110281 谷歌学者 数字图书馆 
洛伦佐·贝蒂尼、马里奥·科波、洛里斯·德安东尼、马尔科·德·卢卡、马里亚焦拉·德扎尼·西安卡里尼和吉田信子。 2008年，动态交错多方会议的全球进展。 2008年8月19日至22日，加拿大多伦多，CONCUR 2008，第19届国际会议，《CONCUR 2008-并发理论》。 《会议录》，Franck van Breugel和Marsha Chechik（编辑）（计算机科学讲稿，第5201卷）。 施普林格，418–433。 https://doi.org/10.1007/978-3-540-85361-9_33 谷歌学者 数字图书馆 2023.蓝牙核心规范。 5.4 谷歌学者 劳拉·博基（Laura Bocchi）、毛里齐奥·穆尔吉亚（Maurizio Murgia）、瓦斯科·图迪库姆·瓦康塞洛斯（Vasco Thudicum Vasconcelos）和吉田信子（Nobuko Yoshida）。 2019.异步定时会话类型。 《编程语言与系统》，Luís Caires（编辑）。 施普林格国际出版公司，Cham。 583–610. 国际标准编号：978-3-030-17184-1 谷歌学者 Laura Bocchi、Weizhen Yang和Nobuko Yoshida。 2014.定时多方会话类型。 在CONCUR 2014–并发理论中，Paolo Baldan和Daniele Gorla（编辑）。 8704，施普林格-柏林-海德堡，柏林，海德堡。419–434。 国际标准编号：978-3-662-44583-9978-3-662-44584-6 https://doi.org/10.1007/978-3-662-44584-6_29 系列标题：计算机科学课堂讲稿 谷歌学者 交叉引用 理查德·布鲁克斯（Richard R.Brooks）和艾扬格（S.S.Iyengar）。 1998年，《多传感器融合：软件基础与应用》。 Prentice-Hall，Inc.，美国公司编号：0139016538 谷歌学者 路易斯·凯尔斯和弗兰克·普芬宁。 2010.作为直觉主义线性命题的会话类型。 在CONCUR 2010-并发理论中，Paul Gastin和François Laroussinie（编辑）。 施普林格-柏林-海德堡，柏林，海德堡。222-236。 谷歌学者 交叉引用 陈若飞、斯蒂芬妮·巴尔泽和伯纳多·托尼霍。 2022.铁氧体：会话类型在Rust中的判断嵌入。 在第36届欧洲面向对象编程会议（ECOOP 2022）上，Karim Ali和Jan Vitek（编辑）（Leibniz International Proceedings In Informatics（LIPIcs），第222卷）。 达格斯图尔宫——德国达格斯图莱布尼兹·泽特鲁姆·福尔·Informatik。 22:1–22:28. 国际标准编号：978-3-95977-225-9国际标准编号1868-8969 https://doi.org/10.4230/LIPIcs.ECOOP.2022.22 谷歌学者 交叉引用 Travis F.Collins、Robin Getz、Di Pu和Alexander M.Wyglinski。 2018年，软件定义的工程师无线电。 阿特奇宫。 https://www.analogo.com/en/education/education-library/software-defined-radio-for-engineeries.html 谷歌学者 Ankush Das、Jan Hoffmann和Frank Pfenning。 2018年，基于时间会话类型的并行复杂性分析。 程序。 ACM计划。 Lang.，2，ICFP（2018），第91条，7月，30页。 https://doi.org/10.1145/3236786 谷歌学者 数字图书馆 弗里RTOS。 2003.FreeRTOS内核。 https://www.freertos.org网站/ 谷歌学者 西蒙·盖伊和马尔科姆·霍尔。 2005.pi演算中会话类型的子类型。 信息学学报，42，2（2005），191–225年11月。 发行编号：1432-0525 https://doi.org/10.1007/s00236-005-0177-z 谷歌学者 交叉引用 Kohei Honda公司。 1993.并元相互作用的类型。 1993年CONCUR，Eike Best（编辑）。 施普林格-柏林-海德堡，柏林，海德堡。509–523。 国际标准编号：978-3-540-47968-0 谷歌学者 Kohei Honda、Vasco T.Vasconcelos和Makoto Kubo。 1998年。结构化通信编程的语言原语和类型规程。 《编程语言与系统》（Programming Languages and Systems），格哈德·古斯（Gerhard Goos）、贾里斯·哈特马尼斯（Juris Hartmanis）、简·范·列文（Jan van Leeuwen）和克里斯·汉金（Chris Hankin）主编。 1381年，施普林格-柏林-海德堡，柏林，海德堡。122-138。 国际标准编号：978-3-540-64302-9 978-3-540-69722-0 https://doi.org/10.1007/BFb0053567 系列标题：计算机科学课堂讲稿 谷歌学者 交叉引用 本田小平、吉田信子和卡博尼。 2008.多方异步会话类型。 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录（POPL'08）。 计算机械协会，美国纽约州纽约市273–284。 国际标准号码：9781595936899 https://doi.org/10.1145/1328438.1328472 谷歌学者 数字图书馆 Grant Iraci、Cheng En Chuang、Raymond Hu和Lukasz Ziarek。 2023.基于速率的会话类型：Rust实现。 https://doi.org/10.1145/3580415 谷歌学者 数字图书馆 Thomas Bracht-Laumann Jespersen、Philip Munksgaard和Ken Friis Larsen。 2015.Rust课程类型。 第11届ACM SIGPLAN通用编程研讨会会议记录（WGP 2015）。 计算机械协会，美国纽约州纽约市，13-22。 编号：9781450338103 https://doi.org/10.1145/2808098.2808100 谷歌学者 数字图书馆 林洁、魏瑜、张楠、杨新余、张翰林和赵薇。 2017年，物联网调查：架构、使能技术、安全和隐私以及应用。 IEEE物联网杂志，4，5（2017），1125-1142。 https://doi.org/10.109/JIOT.2017.2683200 谷歌学者 交叉引用 C.L.Liu和James W.Layland。 1973.硬实时环境中多道程序的调度算法。 J.ACM，20，1（1973），1月，46？ 61.编号：0004-5411 https://doi.org/10.1145/321738.321743 谷歌学者 数字图书馆 桑杰·马德里亚（Sanjay Madria）、维马尔·库马尔（Vimal Kumar）和拉什米·达维（Rashmi Dalvi）。 2014.传感器云：虚拟传感器云。 IEEE软件，31，2（2014），70–77。 https://doi.org/10.109/MS.2013.141 谷歌学者 交叉引用 翁贝托·马尼斯卡科和里卡多·里佐。 2017年。基于软传感器的虚拟测量层。 《环境智能与人性化计算杂志》，8，1（2017），69-78。 国际标准编号：1868-5145 https://doi.org/10.1007/s12652-016-0350-y 谷歌学者 交叉引用 多米尼克·马丁（Dominik Martin）、尼古拉斯·库尔（Niklas Kühl）和格哈德·萨兹格（Gerhard Satzger）。 2021.虚拟传感器。 商业与信息系统工程，63，3（2021），315–323。 国际标准编号：1867-0202 https://doi.org/10.1007/s12599-021-00689-w 谷歌学者 交叉引用 Philip Munksgaard和Thomas Bracht Laumann Jespersen。 2015年，Rust的实践课程类型。 硕士论文。 哥本哈根大学计算机科学系。 谷歌学者 本杰明·皮尔斯。 2002年，麻省理工学院出版社，311-312。 谷歌学者 Pine64.2019年。 松树时间。 https://www.pine64.org/pinetime网站/ 谷歌学者 QNX。 2001.QNX中微子。 https://www.qnx.com/products/intl/neutorino_rtos/ 谷歌学者 阿尔切斯特·斯卡拉斯和吉田信子。 2019.少即是多：重温多党会议类型。 程序。 ACM计划。 Lang.，3，持久性有机污染物清单（2019），30:1–30:29。 https://doi.org/10.1145/3290343 谷歌学者 数字图书馆 费涛、何章、刘昂和A.Y.C.Nee。 2019.《工业中的数字孪生兄弟：最先进的IEEE工业信息学汇刊》，第15期，第4期（2019年），第2405–2415页。 https://doi.org/10.109/TII.2018.2873186 谷歌学者 交叉引用 阿格尼斯·特根（Agnes Tegen）、保罗·戴维森（Paul Davidsson）、拉杜·卡西安·米哈伊莱斯库（Radu-Casian Mihailescu）和扬·A·佩尔森（Jan A.Persson）。 2019.使用动态智能虚拟传感器的交互式学习协作感知。 传感器，19，3（2019），编号：1424-8220 https://doi.org/10.3390/s19030477 谷歌学者 交叉引用 Antonio Vallecillo、Vasco T.Vasconcelos和António Ravara。 2003.使用会话类型键入对象和组件的行为。 理论计算机科学电子笔记，68，3（2003），439–456。 发行编号：1571-0661 https://doi.org/10.1016/S1571-0661 （05）80382-2 Foclasa 2002，协调语言和软件架构基础（CONCUR 2002卫星研讨会） 谷歌学者 交叉引用 安东尼奥·瓦莱西略（Antonio Vallecillo）、瓦斯科·瓦康塞洛斯（Vasco T Vasconcelos）和安东尼奥·拉瓦拉（Antonia Ravara）。 2006.使用会话类型键入软件组件的行为。 16 谷歌学者 菲利普·沃德勒。 2012年，提案作为会议。 SIGPLAN否。， 47,9（2012年），273-286年9月。 发行编号：0362-1340 https://doi.org/10.1145/2398856.2364568 谷歌学者 数字图书馆 皮特·沃登。 2020年。TinyML：在Arduino和超低功耗微控制器上使用张量流进行机器学习。 O'REILY媒体。 谷歌学者 Patrick Wechselberger、Patrick Sagmeister和Christoph Herwig。 2013年，实时估算生理变量重组分批给料过程中的生物量和比生长率。 生物过程和生物系统工程，36，9（2013），1205-1218。 国际标准编号：1615-7605 https://doi.org/10.1007/s00449-012-0848-4 谷歌学者 交叉引用 Lennert Wouters、Eduard Marin、Tomer Ashur、Benedikt Gierlichs和Bart Preneel。 2019.快速、愤怒和不安全：现代超级跑车中的被动无钥匙进入和启动系统。 IACR《加密硬件和嵌入式系统交易》，2019年，第3期（2019年），5月，66-85日。 https://doi.org/10.13154/tches.v2019.i3.66-85 谷歌学者 交叉引用 詹妮弗·伊克、比斯瓦纳特·穆克吉和迪帕克·戈萨尔。 2008年，无线传感器网络调查。 计算机网络，52，12（2008），2292–2330。 发行编号：1389-1286 https://doi.org/10.1016/j.comnet.2008.04.002 谷歌学者 数字图书馆 吉田信子和瓦斯科·T·瓦斯康塞洛斯。 2007年，《结构化通信程序设计的语言原语和类型规则——重温：高阶会话通信的两种系统》。 理论计算机科学电子笔记，171，4（2007），7月，73-93。 发行编号：15710661 https://doi.org/10.1016/j.entcs.2007.02.056 谷歌学者 数字图书馆
