Author:
Johnsen Einar Broch,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. The MIT Press (1986)
2. Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.: COSTABS: a cost and termination analyzer for ABS. In: Proc. Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp. 151–154. ACM (2012)
3. Lecture Notes in Computer Science;E. Albert,2007
4. Lecture Notes in Computer Science;E. Albert,2011
5. Armstrong, J.: Programming Erlang. Pragmatic Bookshelf (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014