Author:
de Boer Frank S.,Clarke Dave,Johnsen Einar Broch
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Ábrahám, E., et al.: An assertion-based proof system for multithreaded Java. TCS 331(2-3), 251–290 (2005)
2. Agha, G., Hewitt, C.: Actors: A conceptual foundation for concurrent object-oriented programming. In: Research Directions in Object-Oriented Programming, pp. 49–74. MIT Press, Cambridge (1987)
3. Brinch Hansen, P.: Java’s insecure parallelism. ACM SIGPLAN Notices 34(4), 38–45 (1999)
4. Caromel, D., Henrio, L., Serpette, B.: Asynchronous and deterministic objects. In: Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL’04), pp. 123–134. ACM Press, New York (2004)
5. Clavel, M., et al.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)
Cited by
102 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Encore: Coda;Lecture Notes in Computer Science;2024
2. Assuring GDPR Conformance Through Language-Based Compliance;IFIP Advances in Information and Communication Technology;2024
3. Special Delivery: Programming with Mailbox Types;Proceedings of the ACM on Programming Languages;2023-08-30
4. μP: A Development Framework for Predicting Performance of Microservices by Design;2023 IEEE 16th International Conference on Cloud Computing (CLOUD);2023-07
5. An Autonomous Data Language;Theoretical Aspects of Computing – ICTAC 2023;2023