Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures;Abbes;Inf. Comput.,2006
2. S. Castellan, P. Clairambault, G. Winskel, Symmetry in concurrent games, 2013, submitted for publication.
3. Probabilistic game semantics;Danos,2000
4. Game semantics for quantum data, QPL/DCM 2008;Delbecque;Electr. Notes Theor. Comput. Sci.,2008
5. Choquet-kendall-matheron theorems for non-hausdorff spaces;Goubault-Larrecq;Mathematical Structures in Computer Science,2011
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent Games over Relational Structures: The Origin of Game Comonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Categorical composable cryptography: extended version;Logical Methods in Computer Science;2023-12-18
3. Reasoning about causality in games;Artificial Intelligence;2023-07
4. Making Concurrency Functional;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Weighted and Branching Bisimilarities from Generalized Open Maps;Lecture Notes in Computer Science;2023