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
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Cornering Optics;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Concurrent Process Histories and Resource Transducers;Logical Methods in Computer Science;2023-01-18
3. Situated Transition Systems;Electronic Proceedings in Theoretical Computer Science;2022-11-03