Revealing the Trajectories of KLAIM Tuples, Statically-Reference-Cited by-同舟云学术

Revealing the Trajectories of KLAIM Tuples, Statically

Published:2019 Issue: Volume: Page:437-454
ISSN:0302-9743
Container-title:Models, Languages, and Tools for Concurrent and Distributed Programming
language:
Short-container-title:

Author:

Bodei Chiara^ORCID,Degano Pierpaolo^ORCID,Ferrari Gian-Luigi^ORCID,Galletta Letterio^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-21485-2_24

Reference21 articles.

1. Bettini, L., De Nicola, R., Pugliese, R.: KLAVA: a Java package for distributed and mobile applications. Softw. Pract. Exper. 32(14), 1365–1394 (2002)

2. Bettini, L., De Nicola, R., Pugliese, R., Ferrari, G.L.: Interactive mobile agents in X-Klaim. In: Proceedings of 7th Workshop on Enabling Technologies (WETICE 1998), Infrastructure for Collaborative Enterprises, pp. 110–117. IEEE Computer Society (1998)

3. Bodei, C., Degano, P., Ferrari, G.L., Galletta, L.: A step towards checking security in IoT. In: Proceedings of ICE 2016, EPTCS, vol. 223, pp. 128–142 (2016)

4. Lecture Notes in Computer Science;C Bodei,2016

5. Bodei, C., Degano, P., Ferrari, G.L., Galletta, L.: Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. 13(3), 1–38 (2017)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal approach to the engineering of domain-specific distributed systems;Journal of Logical and Algebraic Methods in Programming;2020-02

2. Analysing the Provenance of IoT Data;Communications in Computer and Information Science;2020

3. Security Metrics at Work on the Things in IoT Systems;From Lambda Calculus to Cybersecurity Through Program Analysis;2020