Author:
Albert Elvira,Correas Jesús,Puebla Germán,Román-Díez Guillermo
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;E. Albert,2011
2. Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.: COSTABS: A Cost and Termination Analyzer for ABS. In: Procs. of PEPM 2012, pp. 151–154. ACM Press (2012)
3. Albert, E., Arenas, P., Correas, J., Gómez-Zamalloa, M., Genaim, S., Puebla, G., Román-Díez, G.: Object-sensitive cost analysis for concurrect objects. Technical Report (2012),
http://costa.ls.fi.upm.es/papers/costa/AlbertACGGPRtr.pdf
4. America, P.: Issues in the design of a parallel object-oriented language. Formal Aspects of Computing 1, 366–411 (1989)
5. Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems 25(6), 599–616 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resource Analysis of Distributed Systems;Theory and Practice of Formal Methods;2016
2. Quantified abstract configurations of distributed systems;Formal Aspects of Computing;2015-07
3. Towards the Typing of Resource Deployment;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014