1. ACTORS: A Model of Concurrent Computations in Distributed Systems;Agha,1986
2. A verification system for distributed objects with asynchronous method calls;Ahrendt,2009
3. Programming Erlang: Software for a Concurrent World;Armstrong,2007
4. Formal analysis techniques for gossiping protocols;Bakhshi;Operating Systems Review,2007
5. Model-based performance prediction in software development: A survey;Balsamo;IEEE Transactions on Software Engineering,2004