Author:
Abramsky Samson,Gay Simon,Nagarajan Rajagopal
Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. S. Abramsky. Computational Interpretations of Linear Logic. Theoretical Computer Science, 111:3–57, 1993. Earlier version appeared as Imperial College Technical Report DOC 90/20, October 1990.
2. S. Abramsky. Interaction Categories (Extended Abstract). In G. L. Burn, S. J. Gay, and M. D. Ryan, editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, pages 57–70. Springer-Verlag Workshops in Computer Science, 1993.
3. S. Abramsky. Interaction Categories and communicating sequential processes. In A. W. Roscoe, editor, A Classical Mind: Essays in Honour of C. A. R. Hoare, pages 1–15. Prentice Hall International, 1994.
4. S. Abramsky. Interaction Categories I: Synchronous processes. Paper in preparation, 1994.
5. S. Abramsky. Interaction Categories II: Asynchronous processes. Paper in preparation, 1994.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Session Abstract Machine;Lecture Notes in Computer Science;2024
2. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023
3. Closing Bell Boxing Black Box Simulations in the Resource Theory of Contextuality;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
4. Cables, Trains and Types;From Lambda Calculus to Cybersecurity Through Program Analysis;2020
5. A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculus;Programming Languages and Systems;2019