Author:
D’Osualdo Emanuele,Kochems Jonathan,Ong C. -H. Luke
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)
2. Armstrong, J.: Erlang. CACM 53(9), 68 (2010)
3. Armstrong, J., Virding, R., Williams, M.: Concurrent programming in Erlang. Prentice Hall (1993)
4. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. ACM SIGPLAN Notices 38, 62–73 (2003)
5. Carlsson, R.: An introduction to Core Erlang. In: Proceedings of the PLI 2001 Erlang Workshop (2001)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards Building Verifiable CPS using Lingua Franca;ACM Transactions on Embedded Computing Systems;2023-09-09
2. A Semantics of Core Erlang with Handling of Signals;Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30
3. Liveness in broadcast networks;Computing;2021-08-10
4. Directed Reachability for Infinite-State Systems;Tools and Algorithms for the Construction and Analysis of Systems;2021
5. Commodification of accelerations for the Karp and Miller Construction;Discrete Event Dynamic Systems;2020-11-17