Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Deng, Y., Sangiorgi, D.: Ensuring termination by typability. In: Proceedings of IFIP TCS 2004, pp. 619–632 (2004)
2. Feret, J.: Abstract interpretation of mobile systems. Journal of Logic and Algebraic Programming 63(1) (2005)
3. Honda, K., Yoshida, N.: A uniform type structure for secure information flow. In: Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pp. 81–92 (2002)
4. Kobayashi, N.: TyPiCal: A type-based static analyzer for the pi-calculus, Tool available at: http://www.kb.ecei.tohoku.ac.jp/~koba/typical/
5. Kobayashi, N.: A partially deadlock-free typed process calculus. ACM Transactions on Programming Languages and Systems 20(2), 436–482 (1998)
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Alice or Bob?: Process polymorphism in choreographies;Journal of Functional Programming;2024
2. Session Types with Multiple Senders Single Receiver;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
3. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
4. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09
5. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023