Author:
Broch Johnsen Einar,Owe Olaf,Schlatte Rudolf,Tapia Tarifa Silvia Lizeth
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Agha, G.A.: ACTORS: A Model of Concurrent Computations in Distributed Systems. MIT Press, Cambridge (1986)
2. Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Science of Computer Programming (2010) (in press)
3. Lecture Notes in Computer Science;E. Albert,2008
4. Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)
5. Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deployment Variability in Delta-Oriented Models;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2014
2. Towards the Typing of Resource Deployment;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014
3. Separating Cost and Capacity for Load Balancing in ABS Deployment Models;Formal Methods for Components and Objects;2013
4. HATS Abstract Behavioral Specification: The Architectural View;Formal Methods for Components and Objects;2013
5. Modeling Application-Level Management of Virtualized Resources in ABS;Formal Methods for Components and Objects;2013