Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abramsky, S., Computational interpretations of linear logic. Technical Report DOC 90/20, Imperial College, Department of Computing, October 1990. to appear in Theoretical Computer Science.
2. Barendregt, H. and Hemerik, K., Types in lambda calculi and programming languages. In Proceeding of ESOP 90, 1990.
3. Boudol, G., Asynchrony and π-calculus. Manuscript. 1992.
4. Engberg, U. and Nielsen, M., A Calculus of Communicating Systems with Label Passing. Research Report DAIMI PB-208, Computer Science Department, University of Aarhus, 1986.
5. Gay, S. J., A sort inference algorizm for the poliadic π-calculus. POPL, 1993.
Cited by
176 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata;Proceedings of the ACM on Programming Languages;2024-06-20
4. Behavioural Types for Heterogeneous Systems (Position Paper);Electronic Proceedings in Theoretical Computer Science;2024-04-06
5. Linear Contextual Metaprogramming and Session Types;Electronic Proceedings in Theoretical Computer Science;2024-04-06