Process realizability

zbMATH Open0995.68064arXiv1512.06233MaRDI QIDQ2752053FDOQ2752053

Authors: Samson Abramsky 

Publication date: 21 October 2001

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

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

zbMATH Keywords

process algebraconcurrency theory

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)

Cited In (6)

• Capability passing processes
• Title not available (Why is that?)
• Relating state-based and process-based concurrency through linear logic (full-version)
• Real and complex QARMA processes
• Title not available (Why is that?)
• Relating state-based and process-based concurrency through linear logic

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)