Process realizability

MaRDI QIDQ2752053zbMATH OpenFDO

Authors Samson Abramsky

Publication date 21 October 2001

Full work available at URL https://arxiv.org/abs/1512.06233

zbMATH Keywords

concurrency theoryprocess algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1497730
• Realizability. An introduction to its categorical side
• Type theory and concurrency
• scientific article; zbMATH DE number 4047057
• scientific article; zbMATH DE number 1841819

Cited in

(7)

• Real and complex QARMA processes
• Capability passing processes
• scientific article; zbMATH DE number 4047057 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 1497730 (Why is no real title available?)
• Relating state-based and process-based concurrency through linear logic
• Relating state-based and process-based concurrency through linear logic (full-version)

This page was built for publication: Process realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752053)