From CSP to Game Semantics-Reference-Cited by-同舟云学术

From CSP to Game Semantics

Published:2010 Issue: Volume: Page:33-45
ISSN:
Container-title:Reflections on the Work of C.A.R. Hoare
language:
Short-container-title:

Author:

Abramsky Samson

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-84882-912-1_2

Reference33 articles.

1. Abramsky, S.: Semantics of interaction: an introduction to game semantics. In: Dybjer, P., Pitts, A. (eds.), Proceedings of the 1996 CLiCS Summer School, Isaac Newton Institute, pp. 1–31. Cambridge University Press (1997).

2. Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Inform. Comput. 163, 409–470 (2000).

3. Abramsky, S.: Algorithmic game semantics: a tutorial introduction. In: Proof System-Reliability. Kluwer (2002).

4. Abramsky, S.: What are the fundamental structures of concurrency?: We still don’t know! Electr. Notes Theor. Comput. Sci. (ENTCS) 162, 37–41 (2006).

5. Abramsky, S.: Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. In: Chen, G., Kauffman, L., Lomonaco, S., (eds.), Mathematics of Quantum Computation and Quantum Technology, Taylor & Francis. pp. 415–458 (2007).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositionality in Context;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

2. Grounding Game Semantics in Categorical Algebra;Electronic Proceedings in Theoretical Computer Science;2022-11-03

3. CompCertO: compiling certified open C components;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. Refinement-Based Game Semantics for Certified Abstraction Layers;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08