Author:
Corrodi Claudio,Heußner Alexander,Poskitt Christopher M.
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
2. Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in ERLANG, 2nd edn. Prentice Hall, Englewood Cliffs (1996)
3. Lecture Notes in Computer Science;P Backes,2015
4. Bogdanas, D., Rosu, G.: K-Java: A complete semantics of Java. In: Proceedings of POPL 2015, pp. 445–456. ACM (2015)
5. Brooke, P.J., Paige, R.F.: Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. 21(4), 363–391 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献