Publisher
Springer International Publishing
Reference22 articles.
1. Abramsky, S.: What are the fundamental structures of concurrency? we still don’t know! CoRR abs/1401.4973 (2014)
2. Cockett, J.R.B., Pastro, C.: The logic of message-passing. Sci. Comput. Program. 74, 498–533 (2009)
3. Cockett, J.R.B., Seely, R.A.G.: Proof theory of the cut rule. In: Landry, E. (ed.) Categories for the Working Philosopher, pp. 223–261. Oxford University Press, Oxford (2017)
4. Coecke, B., Fritz, T., Spekkens, R.W.: A mathematical theory of resources. Inf. Comput. 250, 59–86 (2016)
5. Dawson, R., Paré, R.: What is a free double category like? J. Pure Appl. Algebra 168(1), 19–34 (2002)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29
2. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
3. Cornering Optics;Electronic Proceedings in Theoretical Computer Science;2023-08-07
4. Concurrent Process Histories and Resource Transducers;Logical Methods in Computer Science;2023-01-18
5. Situated Transition Systems;Electronic Proceedings in Theoretical Computer Science;2022-11-03