Author:
He Kangli,Hermanns Holger,Wu Hengyang,Chen Yixiang
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference43 articles.
1. Borgia E. The Internet of Things vision: key features, applications and open issues. Computer Communications, 2014, 54: 1–31
2. Lanese I, Bedogni L, Felice M D. Internet of Things: a process calculus approach. In: Proceedings of Annual ACM Symposium on Applied Computing. 2013, 1339–1346
3. Lanotte R, Merro M. A semantic theory of the internet of things. Information and Computation, 2018, 259(1): 72–101
4. Arbab F. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 2004, 14(3): 329–366
5. Meng S, Arbab F. On resource-sensitive timed component connectors. In: Proceedings of International Conference on Formal Methods for Open Object-Based Distributed Systems. 2007, 301–316
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献