Retracing some paths in process algebra-Reference-Cited by-同舟云学术

Retracing some paths in process algebra

Published:1996 Issue: Volume: Page:1-17
ISSN:0302-9743
Container-title:CONCUR '96: Concurrency Theory
language:
Short-container-title:

Author:

Abramsky Samson

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61604-7_44.pdf

Reference46 articles.

1. S. Abramsky. Interaction categories (extended abstract). In Theory and Formal Methods '93, Workshops in Computer Science, pages 57–70. Springer-Verlag, 1993.

2. S. Abramsky. Proofs as processes. Theoretical Computer Science, 135:5–9, 1994.

3. S. Abramsky. A game semantics for Idealized Parallel Algol. Unpublished lecture, 1995.

4. 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, 1995.

5. S. Abramsky. Axioms for full abstraction and full completeness. Submitted for publication, 1996.

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

1. A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott;ACM SIGLOG News;2024-04

2. Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

3. The Game Semantics of Game Theory;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

4. How to Make Qubits Speak;Quantum Computing in the Arts and Humanities;2022

5. DisCoPy: Monoidal Categories in Python;Electronic Proceedings in Theoretical Computer Science;2021-02-08