Author:
Rai Gopal N.,Gangadharan G.R.,Padmanabhan Vineet
Reference13 articles.
1. Principles of model checking;Baier,2008
2. Coloured petri nets and CPN tools for modelling and validation of concurrent systems;Jensen;International Journal on Software Tools for Technology Transfer,2007
3. Communicating and mobile systems: the pi calculus;Milner,1999
4. Concurrent and Real Time Systems: The CSP Approach;Schneider,1999
5. Courbis, R. Rewriting approximations for properties verification over CCS specifications. In: Fundamentals of Software Engineering. Springer; 2012, p. 299-315.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. IoT Capabilities Composition and Decomposition: A Systematic Review;IEEE Access;2023
2. Checking Composition-Aware Service Substitutability;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12
3. Dynamic Search and Integration of Web Services;IOT with Smart Systems;2022-10-06
4. A Petri Nets Evolution Method that Supports BPMN Model Changes;Scientific Programming;2021-06-15
5. Req-WSComposer: a novel platform for requirements-driven composition of semantic web services;Journal of Ambient Intelligence and Humanized Computing;2021-02-17