Author:
Johnsen Einar Broch,Steffen Martin,Stumpf Johanna Beate,Tveito Lars
Publisher
Springer International Publishing
Reference38 articles.
1. Abdelmaboud, A., Jawawi, D.N., Ghani, I., Elsafi, A., Kitchenham, B.: Quality of service approaches in cloud computing: a systematic mapping study. J. Syst. Softw. 101, 159–179 (2015).
https://doi.org/10.1016/j.jss.2014.12.015
2. Akar, O.: Model checking of ambient calculus specifications against ambient logic formulas. Bachelor’s thesis, Istanbul Technical University (2009)
3. Lecture Notes in Computer Science;B Aman,2007
4. Lecture Notes in Computer Science;B Aman,2007
5. Baeten, J.C.M., Bergstra, J.A.: Real time process algebra. Form. Aspects Comput. 3(2), 142–188 (1991).
https://doi.org/10.1007/bf01898401
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Assumption-Commitment Types for Resource Management in Virtually Timed Ambients;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. Resource-Aware Virtually Timed Ambients;Lecture Notes in Computer Science;2018