Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Aberer, K., Despotovic, Z.: Managing trust in a Peer-2-Peer information system. In: Paques, H., Liu, L., Grossman, D. (eds.) Proceedings of the Tenth International Conference on Information and Knowledge Management (CIKM 2001), New York, November 5–10, 2001, pp. 310–317. ACM Press, New York (2001)
2. Lecture Notes in Computer Science;E. Bruneton,2004
3. Software Engineering Notes;L. Alfaro de,2001
4. De Michiel, L.G., et al.: Enterprise JavaBeansTM Specification. SUN Microsystems, Version 2.1, Final Release (November 2003)
5. Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., Sègura, M., Südholt, M.: An expressive aspect language for system applications with Arachne. In: Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD 2005). ACM Press, New York (2005)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic higher-order context-free session types;Theoretical Computer Science;2024-06
2. System $$F^\mu _\omega $$ with Context-free Session Types;Programming Languages and Systems;2023
3. Polymorphic lambda calculus with context-free session types;Information and Computation;2022-11
4. Higher-order Context-free Session Types in System F;Electronic Proceedings in Theoretical Computer Science;2022-03-24
5. Context-Free Session Type Inference;ACM Transactions on Programming Languages and Systems;2019-06-30