Author:
He Fei,Baresi Luciano,Ghezzi Carlo,Spoletini Paola
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems 19(3), 332–383 (2001)
2. Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish/subscribe. ACM Comput. Surv. 35(2), 114–131 (2003)
3. Cugola, G., Picco, G.P.: Reds: a reconfigurable dispatching system. In: SEM ’06. Proceedings of the 6th international workshop on Software engineering and middleware, pp. 9–16. ACM Press, New York, NY, USA (2006)
4. Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish/subscribe architectures. In: Proceedings of the SAVCBS’03 Workshop, Helsinki, Finland (2003)
5. Lecture Notes in Computer Science;L. Baresi,2006
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Service to service communication based on CBPS system: refinement and verification;Soft Computing;2024-07-24
2. Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
4. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
5. Quality of service in IoT protocol as designs and its verification in PVS;Transactions on Emerging Telecommunications Technologies;2019-10-09