Author:
Johnsen Einar Broch,Owe Olaf
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference63 articles.
1. Abadi M., Cardelli L. (1996) A Theory of Objects. Monographs in Computer Science. Springer, Berlin Heidelberg New York
2. Ábrahám-Mumm, E., de Boer F.S., de Roever, W.-P., Verification for Java’s reentrant multithreading concept. In: International Conference on Foundations of Software Science and Computation Structures (FOSSACS’02). Lecture Notes in Computer Science, vol. 2303 pp. 5–20. Springer, Berlin Heidelberg New York (2002)
3. Agha, G.A. Abstracting interaction patterns: a programming paradigm for open distributed systems. In: Najm, E., Stefani, J.-B.: (eds.) Proceedings 1st IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’96). Paris pp. 135–153 Chapman & Hall, London 1996
4. Agha G.A., Mason I.A., Smith S.F., Talcott C.L. (1997) A foundation for actor computation. J. Funct. Program. 7(1): 1–72
5. America P. (1987). POOL-T: A parallel object-oriented language. In: Yonezawa A., Tokoro M. (eds). Object-Oriented Concurrent Programming. The MIT Press, Cambridge, pp. 199–220
Cited by
124 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献