Author:
Johnsen Einar Broch,Schlatte Rudolf,Tapia Tarifa Silvia Lizeth
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Agha, G.A.: ACTORS: A Model of Concurrent Computations in Distributed Systems. The MIT Press, Cambridge (1986)
2. Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Science of Computer Programming, http://dx.doi.org/10.1016/j.scico.2010.08.003 (available online August 2010)
3. Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. Journal of Automated Reasoning 46, 161–203 (2011)
4. Lecture Notes in Computer Science;E. Albert,2011
5. Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献