Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Armstrong, J.L., Virding, R.: Erlang – an experimental telephony switching language. In: Proc. XIII International Switching Symposium (May-June 1991)
2. Lecture Notes in Computer Science;K. Bhargavan,2008
3. Billings, J., Sewell, P., Shinwell, M., Strniša, R.: Type-safe distributed programming for OCaml. In: Proc. 2006 ACM SIGPLAN Workshop on ML (2006)
4. Bloom, B., Nystrom, N., Östlund, J., Richards, G., Strniša, R., Vitek, J., Wrigstad, T.: Thorn–robust, concurrent, extensible scripting on the JVM. In: Proc. OOPSLA 2009 (October 2009)
5. Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science (TCS) 240(1), 177–213 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献